.bashrc
changeset 216 27e5bda72c38
parent 208 ba6619e43b22
child 219 35ff28da5c85
equal deleted inserted replaced
215:7b1b6872e92e 216:27e5bda72c38
   119 # Use bash-completion, if available.
   119 # Use bash-completion, if available.
   120 if [ -f /etc/bash_completion ]; then
   120 if [ -f /etc/bash_completion ]; then
   121   # Under Cygwin bash completition start a long time.
   121   # Under Cygwin bash completition start a long time.
   122   if [ ! "$OSTYPE" = cygwin ]; then
   122   if [ ! "$OSTYPE" = cygwin ]; then
   123     . /etc/bash_completion
   123     . /etc/bash_completion
       
   124     # But load local completion anyway.
       
   125     if [ -f ~/.bash_completion ]; then
       
   126       . ~/.bash_completion
       
   127     fi
   124   fi
   128   fi
   125 fi
   129 fi
   126 if [ -f $HOME/usr/etc/bash_completion ]; then
   130 if [ -f $HOME/usr/etc/bash_completion ]; then
   127   . $HOME/usr/etc/bash_completion
   131   . $HOME/usr/etc/bash_completion
   128 fi
   132 fi