diff options
Diffstat (limited to 'bash/bash_profile')
| -rw-r--r-- | bash/bash_profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index 4e25ab24..91c0f867 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -6,8 +6,8 @@ fi # Ensure we're using at least version 2.05 if ! test -n "$BASH_VERSINFO" ; then return -elif ((10#${BASH_VERSINFO[0]%%[![:digit:]]} == 2)) \ - && ((10#${BASH_VERSINFO[1]%%[![:digit:]]} < 5)) ; then +elif ((10#${BASH_VERSINFO[0]%%[![:digit:]]*} == 2)) \ + && ((10#${BASH_VERSINFO[1]%%[![:digit:]]*} < 5)) ; then return fi |