commit cb152a113e953e93b11485c0cc70f066fbc80fbd
author Joel Fernandes <joel@joelfernandes.org> Sun Jul 08 10:57:12 2018 -0700
committer Joel Fernandes <joel@joelfernandes.org> Sun Jul 08 10:57:19 2018 -0700
tree 693edacedf89243dd4bb418974ca9005616d3f3a
parent 638578fe59af404a48d135003fff12a28f2a7d7d

shell: show banner only once

Signed-off-by: Joel Fernandes <joel@joelfernandes.org>

addons/bashrc

diff --git a/addons/bashrc b/addons/bashrc
index 8c25c22..14b9253 100644
--- a/addons/bashrc
+++ b/addons/bashrc
@@ -1,6 +1,8 @@
 # The bannered bashrc
 source .bashrc.common
 
+if [ ! -f .banner.shown ]; then
+
 echo ""
 echo "##########################################################"
 echo "# Welcome to androdeb environment running on Android!    #"
@@ -14,4 +16,6 @@
 echo "##########################################################"
 echo ""
 
+touch .banner.shown
 
+fi