From: Hendrik Jäger <gitcommit@henk.geekmail.org>
Date: Sat, 19 Dec 2020 21:18:12 +0000 (+0100)
Subject: Add comments and explicitly use extended history format
X-Git-Url: https://git.netwichtig.de/gitweb/?a=commitdiff_plain;h=1f3fa29bdde94706d98fdf48fe12d1431d43dc80;p=user%2Fhenk%2Fvcsh%2Fzsh.git

Add comments and explicitly use extended history format
---

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