darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Tweak zsh history options

Browse source
This commit is contained in:
Talia 2021-02-26 08:23:22 +01:00
parent 0882e7afa3
commit 49fe3cf413
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
zshrc
View file

@ -1,10 +1,13 @@
export SAVEHIST=10
export HISTFILE=$HOME/.zsh_history export HISTFILE=$HOME/.zsh_history
export SAVEHIST=10000
export HISTFILESIZE=10000 export HISTFILESIZE=10000
export HSITSIZE=10000 export HSITSIZE=10000
bindkey -v bindkey -v
setopt append_history
setopt hist_find_no_dups
# setopt hist_ignore_dups
setopt inc_append_history setopt inc_append_history
setopt extended_history setopt extended_history
setopt hist_find_no_dups setopt hist_find_no_dups