diff options
Diffstat (limited to 'bash/bash_profile')
| -rw-r--r-- | bash/bash_profile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index ee735720..d0850004 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -23,7 +23,7 @@ if [[ -d $HOME/.bash_profile.d ]] ; then unset -v bash_profile fi -# Source interactive Bash config if it exists -if [[ -e $HOME/.bashrc ]] ; then - source "$HOME"/.bashrc -fi +# If the shell is interactive, and ~/.bashrc exists, source that too +case $- in + *i*) [[ -f "$HOME"/.bashrc ]] && source "$HOME"/.bashrc ;; +esac |