From 1f3fa29bdde94706d98fdf48fe12d1431d43dc80 Mon Sep 17 00:00:00 2001 From: Hendrik Jäger Date: Sat, 19 Dec 2020 22:18:12 +0100 Subject: Add comments and explicitly use extended history format --- .zshrc | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.zshrc b/.zshrc index f627679..6d07cf7 100644 --- a/.zshrc +++ b/.zshrc @@ -59,11 +59,17 @@ setopt RC_EXPAND_PARAM #setopt WARN_CREATE_GLOBAL setopt GLOB_DOTS +# remove previous entries from history setopt HIST_IGNORE_ALL_DUPS +# do not write lines starting with a space to history file setopt HIST_IGNORE_SPACE +# Remove superfluous blanks setopt HIST_REDUCE_BLANKS +# expand history expansion for verification setopt HIST_VERIFY -#setopt INC_APPEND_HISTORY +# save timestamp and runtime as well +setopt EXTENDED_HISTORY +# write line to history file when finished, not when started, to have correct runtime setopt INC_APPEND_HISTORY_TIME setopt NO_CLOBBER -- cgit v1.2.3