.bash_path
changeset 299 2771c1f6f3c5
parent 285 60fc251ec270
child 300 f7c19d2b4263
equal deleted inserted replaced
298:d179d603d9a5 299:2771c1f6f3c5
    19 fi
    19 fi
    20 
    20 
    21 if [[ ! $PATH =~ $HOME/usr/bin ]]; then
    21 if [[ ! $PATH =~ $HOME/usr/bin ]]; then
    22   export PATH=$PATH:~/usr/bin
    22   export PATH=$PATH:~/usr/bin
    23 fi
    23 fi
       
    24 if [[ ! $PATH =~ /usr/sbin ]]; then
       
    25   export PATH=$PATH:/usr/sbin
       
    26 fi
       
    27 
       
    28 if [[ ! $LD_LIBRARY_PATH =~ $HOME/usr/lib ]]; then
       
    29   export LD_LIBRARY_PATH=$HOME/usr/lib
       
    30 else
       
    31   export LD_LIBRARY_PATH="$LD_LIBRARY_PATH":$HOME/usr/lib
       
    32 fi
    24 
    33 
    25 if [[ -z "$MANPATH" ]]; then
    34 if [[ -z "$MANPATH" ]]; then
    26   export MANPATH=~/usr/share/man:
    35   export MANPATH=~/usr/share/man:
    27 elif [[ ! $MANPATH =~ $HOME/usr/share/man: ]]; then
    36 elif [[ ! $MANPATH =~ $HOME/usr/share/man: ]]; then
    28   export MANPATH=$MANPATH:$HOME/usr/share/man:
    37   export MANPATH=$MANPATH:$HOME/usr/share/man: