diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-17 19:07:00 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-17 19:07:00 +1200 |
commit | a38c67d93be6df69e59b8dce04a18159d6b3f3c0 (patch) | |
tree | 7f5ca684384247c432a6e1e1caa7beddd1ab49d9 /bash/bash_profile | |
parent | Source ~/.shrc.d in Bash if not login shell (diff) | |
download | dotfiles-a38c67d93be6df69e59b8dce04a18159d6b3f3c0.tar.gz dotfiles-a38c67d93be6df69e59b8dce04a18159d6b3f3c0.zip |
Use terser loop syntax in ~/.bash_profile
Diffstat (limited to 'bash/bash_profile')
-rw-r--r-- | bash/bash_profile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index 76758083..9d2fd76c 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -16,9 +16,8 @@ fi # Load any supplementary scripts if [[ -d $HOME/.bash_profile.d ]] ; then for bash_profile in "$HOME"/.bash_profile.d/*.bash ; do - if [[ -e $bash_profile ]] ; then - source "$bash_profile" - fi + [[ -e $bash_profile ]] || continue + source "$bash_profile" done unset -v bash_profile fi |