changeset 32:2ffa4d7c9d38

Added mechanism for site specific bash profile additions in .profile.d
author daniel
date Mon, 16 Feb 2015 22:08:22 +0000
parents 386e9ef272b8
children 69a653091bc6
files .hgignore .profile
diffstat 2 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/.hgignore	Mon Feb 16 22:04:56 2015 +0000
+++ b/.hgignore	Mon Feb 16 22:08:22 2015 +0000
@@ -36,3 +36,4 @@
 ^.mysql_history
 ^.fehbg
 ^.pki/
+^.profile.d
--- a/.profile	Mon Feb 16 22:04:56 2015 +0000
+++ b/.profile	Mon Feb 16 22:08:22 2015 +0000
@@ -31,6 +31,6 @@
     PATH="$HOME/bin:$PATH"
 fi
 
-# export use_proxy=yes
-# export http_proxy=http://DMLUser:Mus1c0l0gy\@loncache.bl.uk:8080
-
+if [ -d "$HOME/.profile.d" ]; then
+	for f in $HOME/.profile.d/*.sh; do source $f; done
+fi