[Bash-completion-devel] [patch] /etc/profile.d/bash_completion.sh

Thilo Six mlist at Xk2c.de
Sat Nov 23 17:09:58 UTC 2013


Hello


,----[  /etc/profile.d/bash_completion.sh  ]--------

- bash=${BASH_VERSION%.*}; bmajor=${bash%.*}; bminor=${bash#*.}
- if [ $bmajor -gt 4 ] || [ $bmajor -eq 4 -a $bminor -ge 1 ]; then
+ if [[ ${BASH_VERSINFO[0]} -gt 4 ]] || \
+  ( [[ ${BASH_VERSINFO[0]} -eq 4 ]] && [[ ${BASH_VERSINFO[1]} -ge 1 ]] ); then
`-----------------------------------------------------------------------

kind regards,

     Thilo




More information about the Bash-completion-devel mailing list