.bashrc
changeset 219 35ff28da5c85
parent 216 27e5bda72c38
child 221 aa682f0b1e7b
equal deleted inserted replaced
218:92582492ecde 219:35ff28da5c85
   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   else
   124     # But load local completion anyway.
   125     # But load local completion anyway.
   125     if [ -f ~/.bash_completion ]; then
   126     if [ -f ~/.bash_completion ]; then
   126       . ~/.bash_completion
   127       . ~/.bash_completion
   127     fi
   128     fi
   128   fi
   129   fi