From bf46adc705b28723f1cf4b4b9e05efbed90e70d2 Mon Sep 17 00:00:00 2001 From: Hendrik Jäger Date: Sun, 30 Jul 2023 22:12:30 +0200 Subject: improve explanations --- .zshrc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.zshrc b/.zshrc index 8465ed0..336ef76 100644 --- 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 -- cgit v1.2.3