diff options
Diffstat (limited to 'bash/bash_profile')
| -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. |