diff options
-rw-r--r-- | bash/bash_profile | 7 |
1 files changed, 7 insertions, 0 deletions
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 |