diff options
| -rw-r--r-- | .bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ export HISTCONTROL=ignoredups # If the sysadmins do not care about history timestamps, let us do that: [ -z "$HISTTIMEFORMAT" ] && export HISTTIMEFORMAT="%F %T " # same philosophy, other history settings: -[ -z "$HISTSIZE" ] && export HISTSIZE=10240 +[ -z "$HISTSIZE" ] && export HISTSIZE=16384 [ -z "$HISTCONTROL" ] && export HISTCONTROL=ignoredups # stuff before $BBD # shellcheck disable=SC1090 |
