diff options
Diffstat (limited to 'base/.zsh/history.zsh')
| -rw-r--r-- | base/.zsh/history.zsh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/base/.zsh/history.zsh b/base/.zsh/history.zsh deleted file mode 100644 index f21023d..0000000 --- a/base/.zsh/history.zsh +++ /dev/null @@ -1,15 +0,0 @@ -if [ -z $HISTFILE ]; then - HISTFILE=$HOME/.zsh_history -fi -HISTSIZE=100000 -SAVEHIST=100000 -HISTCONTROL=ignoredups - -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 - |