diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2012-02-28 13:16:41 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2012-02-28 13:16:41 +1300 |
commit | f69ce687dc6c1e3990af19f384c99d025ca7981f (patch) | |
tree | 63f4bdc096464f5ad5c30249dea4a6ea38b67635 | |
parent | To be thorough, may as well store my inputrc. (diff) | |
download | dotfiles-f69ce687dc6c1e3990af19f384c99d025ca7981f.tar.gz dotfiles-f69ce687dc6c1e3990af19f384c99d025ca7981f.zip |
Generalise this to any local file.
-rw-r--r-- | bash/bash_profile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index ceea5807..c95bc9b0 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -10,9 +10,9 @@ if [ -d "$HOME/bin" ]; then PATH="$HOME/bin:$PATH" fi -# Add machine-specific locale file if it exists. -if [ -e "$HOME/.bash_locale" ]; then - . "$HOME/.bash_locale" +# Add machine-specific local file if it exists. +if [ -e "$HOME/.bash_local" ]; then + . "$HOME/.bash_local" fi # None of this UTF8 drawing characters nonsense. |