diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-07-30 22:12:30 +0200 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-07-30 22:12:30 +0200 |
| commit | bf46adc705b28723f1cf4b4b9e05efbed90e70d2 (patch) | |
| tree | 12320f56f71e3d2329cdb19ecb88246615e4e00a /.zshrc | |
| parent | bb944f85a3a3a7c93b272a761e414c0e8b97a1b7 (diff) | |
improve explanations
Diffstat (limited to '.zshrc')
| -rw-r--r-- | .zshrc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |