]> git.rmz.io Git - dotfiles.git/commitdiff
zsh: fix share_history
authorSamir Benmendil <me@rmz.io>
Mon, 20 Jun 2016 10:14:37 +0000 (11:14 +0100)
committerSamir Benmendil <me@rmz.io>
Mon, 20 Jun 2016 10:14:37 +0000 (11:14 +0100)
`inc_append_history` and `append_history` should be turned of when
`share_history` is to be used.

zsh/lib/history.zsh

index 1605dea1efdd9188c53226f3551b2a09fb21f958..9fd3f3c7d1865c4974a84dd156c0487e83b60c20 100644 (file)
@@ -3,13 +3,11 @@ HISTFILE=$ZSH_CACHE/histfile
 HISTSIZE=10000
 SAVEHIST=10000
 
-setopt append_history
 setopt extended_history
 setopt hist_expire_dups_first
 setopt hist_ignore_dups # ignore duplication command history list
 setopt hist_ignore_space
 setopt hist_verify
-setopt inc_append_history
 setopt share_history # share command history data
 
 alias history='fc -l 1'