diff options
author | Sébastien M-B <essembeh@gmail.com> | 2011-12-15 16:15:23 +0100 |
---|---|---|
committer | Sébastien M-B <essembeh@gmail.com> | 2011-12-15 16:15:23 +0100 |
commit | 37266112759a5759536cc4ea84ea063695cd1f2e (patch) | |
tree | 8888b8b8a30c1ef7a395bd26bd1f0590c87c4e45 /lib/history.zsh | |
parent | 9969fca25b3205c2969a543aa1495aeb6eed772b (diff) | |
parent | c133f41833ba1ce6a3868a644ad29caa17bfa75a (diff) | |
download | zsh-37266112759a5759536cc4ea84ea063695cd1f2e.tar.gz zsh-37266112759a5759536cc4ea84ea063695cd1f2e.tar.bz2 zsh-37266112759a5759536cc4ea84ea063695cd1f2e.zip |
Merge remote branch 'upstream/master'
Diffstat (limited to 'lib/history.zsh')
-rw-r--r-- | lib/history.zsh | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index ca6f57079..876936b87 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -3,14 +3,11 @@ 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 append_history setopt extended_history setopt hist_expire_dups_first +setopt hist_ignore_dups # ignore duplication command history list setopt hist_ignore_space - -setopt SHARE_HISTORY -setopt APPEND_HISTORY +setopt hist_verify +setopt inc_append_history +setopt share_history # share command history data |