diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2018-08-25 23:23:39 +0200 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2018-08-25 23:23:39 +0200 |
| commit | e9f2f20f7a52e8b77469b56a087cfcf30f2f0277 (patch) | |
| tree | 27d1f5be69ac371c2ae0844e32ad4b76a40bd6e8 /zsh | |
| parent | 34abdcc4d1368d94123391f49ebe135d7ad1c238 (diff) | |
Do not merge zsh histories⎈
Diffstat (limited to 'zsh')
| -rw-r--r-- | zsh/.zshrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ setopt append_history setopt extended_history setopt hist_ignore_space setopt inc_append_history -setopt share_history +setopt no_share_history # Completion zstyle ':completion:*' matcher-list 'm:{a-zA-Z-_}={A-Za-z_-}' 'r:|=*' 'l:|=* r:|=*' |