* delete obsolete line
[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
6 /usr/bin/screen -d -RR -U