]> git.netwichtig.de Git - user/henk/vcsh/zsh.git/commitdiff
Add comments and explicitly use extended history format
authorHendrik Jäger <gitcommit@henk.geekmail.org>
Sat, 19 Dec 2020 21:18:12 +0000 (22:18 +0100)
committerHendrik Jäger <gitcommit@henk.geekmail.org>
Sat, 19 Dec 2020 21:18:12 +0000 (22:18 +0100)
.zshrc

diff --git a/.zshrc b/.zshrc
index f6276792ff56d3d8898b655a5fc471f1eaeaaa76..6d07cf7e484ef68b55c22b6baa861539ad9e6faa 100644 (file)
--- 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