diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2013-09-14 19:43:45 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2013-09-14 19:43:45 +1200 |
commit | 3be31058b566dd55bacbaa9d0dcd44cfe7d03024 (patch) | |
tree | f0e13322b45d6f202d98539a04e42f9a81dae3a9 /bash/bashrc | |
parent | Print Bash version on login shells (diff) | |
download | dotfiles-3be31058b566dd55bacbaa9d0dcd44cfe7d03024.tar.gz dotfiles-3be31058b566dd55bacbaa9d0dcd44cfe7d03024.zip |
Need to massage version information with PE
Diffstat (limited to 'bash/bashrc')
-rw-r--r-- | bash/bashrc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bash/bashrc b/bash/bashrc index bff271b6..9deab6b9 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -9,7 +9,8 @@ if [[ $- != *i* ]]; then fi # Keep plenty of history; unlimited, if we have >=4.3 -if ((${BASH_VERSINFO[0]} >= 4 && ${BASH_VERSINFO[1]} >= 3)); then +if ((${BASH_VERSINFO[0]} >= 4 \ +&& 10#${BASH_VERSINFO[1]%%[![:digit:]]*} >= 3)); then HISTFILESIZE=-1 HISTSIZE=-1 else |