]> git.netwichtig.de Git - user/henk/vcsh/zsh.git/commitdiff
improve explanations
authorHendrik Jäger <gitcommit@henk.geekmail.org>
Sun, 30 Jul 2023 20:12:30 +0000 (22:12 +0200)
committerHendrik Jäger <gitcommit@henk.geekmail.org>
Sun, 30 Jul 2023 20:12:30 +0000 (22:12 +0200)
.zshrc

diff --git a/.zshrc b/.zshrc
index 8465ed009c5be3010848f408fb4c87a832458fe3..336ef765ec4702be2ba44d2a54b8269958cc6fc9 100644 (file)
--- a/.zshrc
+++ b/.zshrc
@@ -72,7 +72,7 @@ setopt GLOB_DOTS
 
 # Ignore a duplicate of the previous command
 setopt HIST_IGNORE_DUPS
-# do not write lines starting with a space to history file
+# Do not save commands starting with a space to history
 setopt HIST_IGNORE_SPACE
 # Remove superfluous blanks
 setopt HIST_REDUCE_BLANKS
@@ -83,6 +83,7 @@ setopt EXTENDED_HISTORY
 # write line to history file when finished, not when started, to have correct runtime
 setopt INC_APPEND_HISTORY_TIME
 
+# Error on a redirections which would overwrite an existing file
 setopt NO_CLOBBER
 setopt CORRECT
 setopt CORRECT_ALL