[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