diff options
-rw-r--r-- | bash/bashrc | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/bash/bashrc b/bash/bashrc index baba0090..4b37f7cb 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -8,14 +8,8 @@ if [[ $- != *i* ]] ; then return fi -# If Bash >= 4.3, keep all history in file forever -if ((BASH_VERSINFO[0] >= 4 && BASH_VERSINFO[1] >= 3)) ; then - HISTFILESIZE=-1 - -# Otherwise, just keep a lot (a million lines) -else - HISTFILESIZE=$((2 ** 20)) -fi +# Keep around a million lines of history in file +HISTFILESIZE=$((2 ** 20)) # Keep around a thousand lines of history in memory HISTSIZE=$((2 ** 10)) |