aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--VERSION4
-rw-r--r--bash/bash_profile7
2 files changed, 9 insertions, 2 deletions
diff --git a/VERSION b/VERSION
index e78dc862..6c1cc205 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-tejr dotfiles v7.11.0
-Fri, 16 Aug 2019 02:51:58 +0000
+tejr dotfiles v7.12.0
+Fri, 16 Aug 2019 02:55:00 +0000
diff --git a/bash/bash_profile b/bash/bash_profile
index 1f5a633a..2f3ba81f 100644
--- a/bash/bash_profile
+++ b/bash/bash_profile
@@ -10,6 +10,13 @@ if [ -n "$POSIXLY_CORRECT" ] ; then
return
fi
+# Load any supplementary scripts in ~/.bash_profile.d; it need not exist
+for bash in "$HOME"/.bash_profile.d/*.bash ; do
+ [ -e "$bash" ] || continue
+ . "$bash"
+done
+unset -v bash
+
# If ~/.bashrc exists, source that too; the tests for both interactivity and
# minimum version numbers are in there
if [ -f "$HOME"/.bashrc ] ; then