diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2019-08-16 14:55:00 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2019-08-16 14:55:00 +1200 |
commit | be022a1654a8cb8b9b9389873cba8fd1886edb55 (patch) | |
tree | 65deafb6c798f44a6b2925af0a8bfb7b8fff7e5a /bash/bash_profile | |
parent | Merge branch 'release/v7.11.0' (diff) | |
parent | Bump VERSION (diff) | |
download | dotfiles-c80f380165a039a699ae596099d13130d3292a17.tar.gz (sig) dotfiles-c80f380165a039a699ae596099d13130d3292a17.zip |
Merge branch 'release/v7.12.0'v7.12.0
* release/v7.12.0:
Include ~/.bash_profile.d snippets if present
Diffstat (limited to 'bash/bash_profile')
-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 |