diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2020-12-19 22:18:12 +0100 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2020-12-19 22:18:12 +0100 |
| commit | 1f3fa29bdde94706d98fdf48fe12d1431d43dc80 (patch) | |
| tree | 120c697a5838d9a151fddada972793cedf8bd6e4 | |
| parent | 4e9e9fda02834579caadedcbf2266df9f226b5c7 (diff) | |
Add comments and explicitly use extended history format
| -rw-r--r-- | .zshrc | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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 |