diff options
Diffstat (limited to 'bash/bash_profile')
| -rw-r--r-- | bash/bash_profile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index 0447bddd..28f71bf9 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,3 +1,6 @@ -# Just source .bashrc if it exists. +# Source the normal shell profile. +[[ -e "${HOME}/.profile" ]] && source "${HOME}/.profile" + +# Then source .bashrc if it exists. [[ -e "${HOME}/.bashrc" ]] && source "${HOME}/.bashrc" |