* load ~/bin for custom user scripts
[lab.git] / .bash_profile
1 # set PATH so it includes user's private bin if it exists
2 if [ -d "$HOME/bin" ] ; then
3     PATH="$HOME/bin:$PATH"
4 fi
5 # /usr/bin/script ~/.script/`date +%y-%m-%d_%H%M%S`.log
6 /usr/bin/screen -d -RR -U