Remove "in-file history".

[ConfigScripts.git] / user / bash_profile

diff --git a/user/bash_profile b/user/bash_profile
index 04876c7fa3b0fd2462b2ca86d75e7f9e2ee8c78e..85bf8de65e0790b505cf251aefa17461e1e8e583 100644 (file)
--- a/user/bash_profile
+++ b/user/bash_profile
@@ -1,13 +1,11 @@
 #
 # ~/.bash_profile: executed by bash(1) for login shells.
+# Written 2003-2008 by Alexander Barton (alex@barton.de)
 #
-# 2008-08-07, alex@barton.de
-#  - Code cleanup
-# 2006-01-09, alex@barton.de
-#  - moved export's here.
-# 2003-07-06, alex@Arthur.Ath.CX
-#  - initial version.
-#
+
+[ -e /tmp/ConfigDebug.$USER ] && echo " >> ~/.bash_profile ..."
+
+[ -z "$PROFILEREAD" -a -r $HOME/.etc/profile ] && source $HOME/.etc/profile
 
 [ -n "$LANG" ] || export LANG="de_DE.ISO8859-1"
 export LC_MESSAGES="C"