.bash_profile

   1 if [ -f "$HOME/.bashrc" ];then export BASH_ENV="$HOME/.bashrc";source "$BASH_ENV";fi
   2
   3 # '2>/dev/null' as finger(1) may not be present.
   4 finger 2>/dev/null
   5
   6 if [ -f "$HOME/.bash_profile.local" ];then source "$HOME/.bash_profile.local";fi