diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2020-05-20 14:02:42 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2020-05-20 14:02:42 +0200 |
| commit | cfdd3c8dd87cd22281ec5d964ecb915bc9ad7e92 (patch) | |
| tree | 619ec28c208ea6af8261f2011b9f5c7660d7a03c | |
| parent | 582c8cb2915bf898a419cfcff398af1966211c25 (diff) | |
| download | zsh-cfdd3c8dd87cd22281ec5d964ecb915bc9ad7e92.tar.gz zsh-cfdd3c8dd87cd22281ec5d964ecb915bc9ad7e92.tar.bz2 zsh-cfdd3c8dd87cd22281ec5d964ecb915bc9ad7e92.zip | |
Revert "core: enable hist_reduce_blanks"
This reverts commit cbd6fbe7a7c3ef260f497704092dc43f2e953c3f.
Fixes #8949
| -rw-r--r-- | lib/history.zsh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index 0ac587d38..52e45bf4c 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -35,7 +35,6 @@ setopt extended_history # record timestamp of command in HISTFILE setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE setopt hist_ignore_dups # ignore duplicated commands history list setopt hist_ignore_space # ignore commands that start with space -setopt hist_reduce_blanks # remove superfluous blanks from commands added to history setopt hist_verify # show command with history expansion to user before running it setopt inc_append_history # add commands to HISTFILE in order of execution setopt share_history # share command history data |