Changeset 53 for home/.bash_profile
- Timestamp:
- 04/28/05 11:45:33 (4 years ago)
- Files:
-
- home/.bash_profile (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
home/.bash_profile
r22 r53 10 10 . ~/.bashrc 11 11 fi 12 13 # the rest of this file is commented out.14 15 # set PATH so it includes user's private bin if it exists16 if [ -d ~/bin ] ; then17 PATH=~/bin:"${PATH}"18 fi19 20 # do the same with MANPATH21 if [ -d ~/man ]; then22 MANPATH=~/man${MANPATH:-:}23 export MANPATH24 fi
