diff options
| author | Matt Singleton <matthew.j.singleton@gmail.com> | 2011-02-19 00:03:48 -0500 |
|---|---|---|
| committer | Matt Singleton <matthew.j.singleton@gmail.com> | 2011-02-19 00:03:48 -0500 |
| commit | f5645a70e2edfd920ff3cceb80b301a7d4aa05f3 (patch) | |
| tree | 3a2f6b4fb9cd61d56da0fc69cdd452bba1ac86bc /zsh | |
| parent | 894c02322b573c57c684ba71cb81ed792ebf55d1 (diff) | |
optimize history rules
Diffstat (limited to 'zsh')
| -rw-r--r-- | zsh/history.zsh | 16 |
1 files changed, 4 insertions, 12 deletions
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 |