diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2015-08-22 19:15:56 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2015-08-22 19:15:56 +1200 |
commit | 37e1d75d0c51a2e8e947ae524e4e686e0a9eeffc (patch) | |
tree | 49df4863aef918a9d4e8b45a14ba0197195da8b2 /bash/bash_profile | |
parent | Use simpler markup for README code block (diff) | |
download | dotfiles-37e1d75d0c51a2e8e947ae524e4e686e0a9eeffc.tar.gz dotfiles-37e1d75d0c51a2e8e947ae524e4e686e0a9eeffc.zip |
Remove overkill chopping on BASH_VERSINFO[0]
Pointed out by Amy Grace.
Diffstat (limited to 'bash/bash_profile')
-rw-r--r-- | bash/bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index 05b15693..1269492e 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -6,7 +6,7 @@ fi # Ensure we're using at least version 2.05 if ! [ -n "$BASH_VERSINFO" ] ; then return -elif ((10#${BASH_VERSINFO[0]%%[![:digit:]]*} == 2)) && \ +elif ((BASH_VERSINFO[0] == 2)) && \ ((10#${BASH_VERSINFO[1]%%[![:digit:]]*} < 5)) ; then return fi |