fix zsh history not saving
This commit is contained in:
parent
b68eb8a0e8
commit
ab2d279804
@ -25,6 +25,11 @@ setopt extended_history
|
|||||||
setopt inc_append_history
|
setopt inc_append_history
|
||||||
setopt share_history
|
setopt share_history
|
||||||
setopt histsavenodups
|
setopt histsavenodups
|
||||||
|
setopt hist_ignore_all_dups
|
||||||
|
|
||||||
|
export HISTFILE=~/.zsh_history
|
||||||
|
export HISTSIZE=999999999
|
||||||
|
export SAVEHIST=$HISTSIZE
|
||||||
# Less Annoying
|
# Less Annoying
|
||||||
setopt interactive_comments
|
setopt interactive_comments
|
||||||
unsetopt correct_all
|
unsetopt correct_all
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user