diff options
| -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 |