diff options
-rw-r--r-- | VERSION | 4 | ||||
-rw-r--r-- | bash/bash_profile | 7 |
2 files changed, 9 insertions, 2 deletions
@@ -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 |