diff options
-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 |