diff options
Diffstat (limited to 'zsh/history.zsh')
| -rw-r--r-- | zsh/history.zsh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/zsh/history.zsh b/zsh/history.zsh deleted file mode 100644 index 4f46d2f..0000000 --- a/zsh/history.zsh +++ /dev/null @@ -1,10 +0,0 @@ -#done - -## Command history configuration -HISTFILE=$HOME/.zsh_history -HISTSIZE=10000 -SAVEHIST=10000 - -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 |