diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2020-05-16 17:17:38 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2020-05-16 17:18:20 +0200 |
| commit | cbd6fbe7a7c3ef260f497704092dc43f2e953c3f (patch) | |
| tree | 088e0e37946e7390591a675bdf586edc76d52abf /lib/history.zsh | |
| parent | 0e4b638c3f983e3d7f168417bf7db2219cbdf609 (diff) | |
| download | zsh-cbd6fbe7a7c3ef260f497704092dc43f2e953c3f.tar.gz zsh-cbd6fbe7a7c3ef260f497704092dc43f2e953c3f.tar.bz2 zsh-cbd6fbe7a7c3ef260f497704092dc43f2e953c3f.zip | |
core: enable hist_reduce_blanks
Fixes #8722
Diffstat (limited to 'lib/history.zsh')
| -rw-r--r-- | lib/history.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index 52e45bf4c..0ac587d38 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -35,6 +35,7 @@ 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 |