zsh: modified history settings
This commit is contained in:
parent
aa1a6d13f1
commit
487045949e
1 changed files with 3 additions and 1 deletions
|
|
@ -6,9 +6,11 @@ bindkey -e
|
||||||
|
|
||||||
# hist
|
# hist
|
||||||
HISTFILE="$HOME/.local/share/zsh_hist"
|
HISTFILE="$HOME/.local/share/zsh_hist"
|
||||||
SAVEHIST=10000000
|
|
||||||
HISTSIZE=10000000
|
HISTSIZE=10000000
|
||||||
|
SAVEHIST=$HISTSIZE
|
||||||
|
|
||||||
|
setopt appendhistory
|
||||||
|
setopt sharehistory
|
||||||
setopt hist_save_no_dups
|
setopt hist_save_no_dups
|
||||||
setopt hist_ignore_all_dups
|
setopt hist_ignore_all_dups
|
||||||
setopt hist_find_no_dups
|
setopt hist_find_no_dups
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue