diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2019-08-16 14:52:11 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2019-08-16 14:52:11 +1200 |
commit | b6080a6d29309e1fa007bedc2442e65f04066e34 (patch) | |
tree | 39222240556d291fbec2f1c17f29477246bec354 | |
parent | Merge branch 'release/v7.11.0' into develop (diff) | |
download | dotfiles-b6080a6d29309e1fa007bedc2442e65f04066e34.tar.gz dotfiles-b6080a6d29309e1fa007bedc2442e65f04066e34.zip |
Include ~/.bash_profile.d snippets if present
-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 |