diff options
author | aszlig <aszlig@redmoonstudios.org> | 2014-10-20 23:25:50 +0200 |
---|---|---|
committer | aszlig <aszlig@redmoonstudios.org> | 2014-10-20 23:25:50 +0200 |
commit | 2a83a6a20366acae5fedc3a8a58e7b688154d6b9 (patch) | |
tree | ab145315ecf4f3547ee2afb009dd83bf9f3e8fae | |
parent | 8ab4b1ecb6c4ebafad8f5a7dcaa161894452fb7a (diff) |
zsh: Don't share history among shell instances.
I found this pretty annoying event though I initially thought it would be useful for sharing commands across shells. But turns out that I rarely need it and there is still 'fc -RI' for that. Signed-off-by: aszlig <aszlig@redmoonstudios.org>
-rw-r--r-- | zsh.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/zsh.nix b/zsh.nix index d700d42a..4219fcc3 100644 --- a/zsh.nix +++ b/zsh.nix @@ -19,6 +19,8 @@ export HISTSIZE=100000 export SAVEHIST=100000 + unsetopt SHARE_HISTORY + setopt extendedglob setopt extendedhistory setopt globcomplete |