diff options
| -rw-r--r-- | bash/bashrc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/bash/bashrc b/bash/bashrc index c7f0e66..5815139 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -5,6 +5,14 @@ # If not running interactively, don't do anything: [ -z "$PS1" ] && return +# Local definitions. +# Since this file is shared among multiple machines, you may want to add +# all definitions local to the machine in a separate file. +# We use ~/.bash_local for this purpose. +if [ -f ~/.bash_local ]; then + . ~/.bash_local +fi + # don't put duplicate lines in the history, not lines starting white space. # See bash(1) for more options export HISTCONTROL=ignoreboth @@ -56,14 +64,6 @@ if [ -f ~/.bash_aliases ]; then . ~/.bash_aliases fi -# Local definitions. -# Since this file is shared among multiple machines, you may want to add -# all definitions local to the machine in a separate file. -# We use ~/.bash_local for this purpose. -if [ -f ~/.bash_local ]; then - . ~/.bash_local -fi - # enable programmable completion features (you don't need to enable # this, if it's already enabled in /etc/bash.bashrc and /etc/profiles # sources /etc/bash.bashrc). |