Changeset 53
- Timestamp:
- 04/28/05 11:45:33 (4 years ago)
- Files:
-
- home/.bash_profile (modified) (1 diff)
- home/.profile (modified) (2 diffs)
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 fihome/.profile
r41 r53 5 5 # Edit a blog entry file of name YYYYMMDD.txt 6 6 alias log="vi `date +%Y%m%d`.txt" 7 8 alias man="LC_ALL=C man" 7 9 8 10 export PKG_CONFIG_PATH=$PKG_CONFIG_PATH:/usr/local/lib/pkgconfig … … 24 26 25 27 export PATH=/usr/local/bin:$PATH 28 29 # set PATH so it includes user's private bin if it exists 30 if [ -d ~/bin ] ; then 31 PATH=~/bin:"${PATH}" 32 fi 33 34 # do the same with MANPATH 35 if [ -d ~/man ]; then 36 MANPATH=~/man${MANPATH:-:} 37 export MANPATH 38 fi
