.env.bash
changeset 985 5bcbe7b57749
parent 984 54b3a34b8f21
child 986 080abbbb7ba7
equal deleted inserted replaced
984:54b3a34b8f21 985:5bcbe7b57749
    20 export TIME_STYLE=long-iso
    20 export TIME_STYLE=long-iso
    21 
    21 
    22 # Easy cd to often used dirs.
    22 # Easy cd to often used dirs.
    23 export CDPATH=.:$HOME:$HOME/devel:$HOME/my
    23 export CDPATH=.:$HOME:$HOME/devel:$HOME/my
    24 
    24 
    25 if [[ :$PATH: != *:$HOME/usr/xbin:* ]]; then
       
    26   # To override /bin and /usr/bin.
       
    27   export PATH=$HOME/usr/xbin:$PATH
       
    28 fi
       
    29 if [[ :$PATH: != *:$HOME/usr/bin:* ]]; then
    25 if [[ :$PATH: != *:$HOME/usr/bin:* ]]; then
    30   export PATH=$PATH:$HOME/usr/bin
    26   export PATH=$PATH:$HOME/usr/bin
    31 fi
    27 fi
    32 if [[ :$PATH: != *:/usr/sbin:* ]]; then
    28 if [[ :$PATH: != *:/usr/sbin:* ]]; then
    33   export PATH=/usr/sbin:$PATH
    29   export PATH=/usr/sbin:$PATH