From 5d4afd407bae5d9ca94d501662985574770b6171 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 20 Jun 2022 12:17:16 +0200 Subject: zshrc: remove unnecessary line This is overwritten by INC_APPEND_HISTORY_TIME later on. --- zshrc.d/common | 1 - 1 file changed, 1 deletion(-) 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 -- cgit v1.2.3