From 0c7a77064fe596507d89d55d4ca608c7d9bba30c Mon Sep 17 00:00:00 2001 From: Samir Benmendil Date: Mon, 20 Jun 2016 11:14:37 +0100 Subject: [PATCH] zsh: fix share_history `inc_append_history` and `append_history` should be turned of when `share_history` is to be used. --- zsh/lib/history.zsh | 2 -- 1 file changed, 2 deletions(-) diff --git a/zsh/lib/history.zsh b/zsh/lib/history.zsh index 1605dea..9fd3f3c 100644 --- a/zsh/lib/history.zsh +++ b/zsh/lib/history.zsh @@ -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' -- 2.48.1