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 d0850004..76758083 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 -# If the shell is interactive, and ~/.bashrc exists, source that too -case $- in - *i*) [[ -f "$HOME"/.bashrc ]] && source "$HOME"/.bashrc ;; -esac +# If ~/.bashrc exists, source that too; the test for interactivity is in there +if [[ -f $HOME/.bashrc ]] ; then + source "$HOME"/.bashrc +fi |