diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2015-06-16 16:42:50 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2015-06-16 16:42:50 +1200 |
commit | f6b315d4bd367cc9153a560e22969e608947a76d (patch) | |
tree | 7863507d421e8c6fc3d579276317d277693f070b /bash/bashrc | |
parent | Improve directory completion for $PATH (diff) | |
download | dotfiles-f6b315d4bd367cc9153a560e22969e608947a76d.tar.gz dotfiles-f6b315d4bd367cc9153a560e22969e608947a76d.zip |
Keep a bit more history in memory
Amounts to less than 172kb on my system, not really worth worrying about
it, and get a few days' history at least this way
Diffstat (limited to 'bash/bashrc')
-rw-r--r-- | bash/bashrc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bash/bashrc b/bash/bashrc index c7a5d730..c96ed7b2 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -19,8 +19,8 @@ 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)) +# Keep around four thousand lines of history in memory +HISTSIZE=$((2 ** 12)) # Ignore duplicate commands and whitespace in history HISTCONTROL=ignoreboth |