+gitmark
[nethome.git] / .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