diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-06-20 12:17:16 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-06-20 12:17:16 +0200 |
| commit | 5d4afd407bae5d9ca94d501662985574770b6171 (patch) | |
| tree | e6e12a9359fd1a16612f663f43dea167c70ac9da | |
| parent | 5076e819be1e4cdbd88abad7c6db313701cad461 (diff) | |
| download | shellrc-5d4afd407bae5d9ca94d501662985574770b6171.tar.gz shellrc-5d4afd407bae5d9ca94d501662985574770b6171.tar.bz2 shellrc-5d4afd407bae5d9ca94d501662985574770b6171.zip | |
zshrc: remove unnecessary line
This is overwritten by INC_APPEND_HISTORY_TIME later on.
| -rw-r--r-- | zshrc.d/common | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/zshrc.d/common b/zshrc.d/common index 9ba1466..95f121b 100644 --- a/zshrc.d/common +++ b/zshrc.d/common @@ -5,7 +5,6 @@ autoload -Uz colors && colors HISTFILE=~/.histfile HISTSIZE=10000 SAVEHIST=10000 -setopt appendhistory setopt extendedglob setopt hist_ignore_dups setopt hist_expire_dups_first |