[CHANGED] increased zsh history size.
This commit is contained in:
parent
ec2353e3e8
commit
fe68e45ec0
1 changed files with 2 additions and 2 deletions
|
|
@ -74,8 +74,8 @@ setopt extendedglob # use extended globbing (#, ~, ^)
|
||||||
# 3.5. History and History Expansion
|
# 3.5. History and History Expansion
|
||||||
# ----------------------------------
|
# ----------------------------------
|
||||||
export HISTFILE="$ZDOTDIR/zhistory" # save history
|
export HISTFILE="$ZDOTDIR/zhistory" # save history
|
||||||
export HISTSIZE=100000 # huge internal buffer
|
export HISTSIZE=200000 # huge internal buffer
|
||||||
export SAVEHIST=100000 # huge history file
|
export SAVEHIST=200000 # huge history file
|
||||||
|
|
||||||
setopt extendedhistory # save timestamps in history
|
setopt extendedhistory # save timestamps in history
|
||||||
setopt no_histbeep # don't beep for erroneous history expansions
|
setopt no_histbeep # don't beep for erroneous history expansions
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue