diff options
author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-07-30 22:12:07 +0200 |
---|---|---|
committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-07-30 22:12:07 +0200 |
commit | bb944f85a3a3a7c93b272a761e414c0e8b97a1b7 (patch) | |
tree | edefd8a86d9276e377d68a9c930d4be760b9a171 | |
parent | 02956a86b40e9811a70ec269b04a68665b78d1f7 (diff) |
feat: remove duplicates only if directly before to have a timeline
-rw-r--r-- | .zshrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -70,8 +70,8 @@ setopt RC_EXPAND_PARAM #setopt WARN_CREATE_GLOBAL setopt GLOB_DOTS -# remove previous entries from history -setopt HIST_IGNORE_ALL_DUPS +# Ignore a duplicate of the previous command +setopt HIST_IGNORE_DUPS # do not write lines starting with a space to history file setopt HIST_IGNORE_SPACE # Remove superfluous blanks |