diff options
author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2024-06-13 10:11:39 +0200 |
---|---|---|
committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2024-06-13 10:11:39 +0200 |
commit | a33562545d1d665c21c87ff4c01fec1d00db86ba (patch) | |
tree | aafb619115d57610ec5a5614de5da1e48cb75110 | |
parent | 0774377c69fc8a134995087073e8fb27f73d09ac (diff) |
allow comments in interactive mode
-rw-r--r-- | .zshrc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -93,6 +93,9 @@ setopt EXTENDED_HISTORY # write line to history file when finished, not when started, to have correct runtime setopt INC_APPEND_HISTORY_TIME +# Recognize comments on the command line +setopt INTERACTIVE_COMMENTS + # Error on a redirections which would overwrite an existing file setopt NO_CLOBBER setopt CORRECT |