From f5645a70e2edfd920ff3cceb80b301a7d4aa05f3 Mon Sep 17 00:00:00 2001 From: Matt Singleton Date: Sat, 19 Feb 2011 00:03:48 -0500 Subject: optimize history rules --- zsh/history.zsh | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) (limited to 'zsh') diff --git a/zsh/history.zsh b/zsh/history.zsh index 0619fbe..4f46d2f 100644 --- a/zsh/history.zsh +++ b/zsh/history.zsh @@ -1,18 +1,10 @@ -#TODO: optimize these rules. they are redundant +#done ## Command history configuration HISTFILE=$HOME/.zsh_history HISTSIZE=10000 SAVEHIST=10000 -setopt hist_ignore_dups # ignore duplication command history list -setopt share_history # share command history data - -setopt hist_verify -setopt inc_append_history -setopt extended_history -setopt hist_expire_dups_first -setopt hist_ignore_space - -setopt SHARE_HISTORY -setopt APPEND_HISTORY +setopt hist_ignore_all_dups # ignore dups including non-sequential ones +setopt share_history # share command history data between sessions +setopt hist_verify # load hist into command buffer rather than exec immediately -- cgit v1.2.3