Increase command history size
This commit is contained in:
parent
a93b654f31
commit
203b157de8
1 changed files with 2 additions and 2 deletions
4
zshrc
4
zshrc
|
@ -333,8 +333,8 @@ bindkey -v
|
||||||
# bindkey -e
|
# bindkey -e
|
||||||
|
|
||||||
# Réglages de l'historique
|
# Réglages de l'historique
|
||||||
HISTSIZE=10000
|
HISTSIZE=100000
|
||||||
SAVEHIST=10000
|
SAVEHIST=100000
|
||||||
HISTFILE=~/.history
|
HISTFILE=~/.history
|
||||||
HISTTIMEFORMAT="%d/%m %H:%M:%S "
|
HISTTIMEFORMAT="%d/%m %H:%M:%S "
|
||||||
setopt hist_ignore_all_dups sharehistory hist_ignore_space
|
setopt hist_ignore_all_dups sharehistory hist_ignore_space
|
||||||
|
|
Loading…
Reference in a new issue