diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2013-06-19 22:46:07 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2013-06-19 22:46:07 +1200 |
commit | 3d2cd251f6d0b92567ad4d93d2ec54bfea856634 (patch) | |
tree | 20c933631d770256ed36a0d7c64d357dda998b29 /bash/bash_profile | |
parent | Use the old push mode for Git (diff) | |
download | dotfiles-3d2cd251f6d0b92567ad4d93d2ec54bfea856634.tar.gz dotfiles-3d2cd251f6d0b92567ad4d93d2ec54bfea856634.zip |
Set up my environment vars correctly
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" |