append a session's history on shell exit and unlimited history list
[lab.git] / TipAndDoc / .bash_profile
1 # add /usr/local/sbin, /usr/sbin, /sbin to $PATH
2 echo $PATH | grep /usr/local/sbin 1> /dev/null 2> /dev/null
3 if [ ! $? = 0 ]; then
4     PATH=/usr/local/sbin:/usr/sbin:/sbin:$PATH
5 fi
6
7
8 # set PATH so it includes user's private bin if it exists
9 if [ -d "$HOME/.bin" ] ; then
10     PATH="$HOME/.bin:$PATH"
11 fi
12
13 /usr/bin/screen -d -RR -U