# HG changeset patch
# User daniel
# Date 1424124502 0
# Node ID 2ffa4d7c9d38dbd02cf678f74ddc565f826f3c97
# Parent  386e9ef272b8d56066f04096df746d364bf20e37
Added mechanism for site specific bash profile additions in .profile.d

diff -r 386e9ef272b8 -r 2ffa4d7c9d38 .hgignore
--- 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
diff -r 386e9ef272b8 -r 2ffa4d7c9d38 .profile
--- 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