mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-05-08 04:34:00 +02:00
zsh: removing the shared history bit of different sessions
This commit is contained in:
parent
0d1984dc38
commit
c87a891fc5
1 changed files with 1 additions and 1 deletions
|
|
@ -12,4 +12,4 @@ setopt hist_ignore_dups # ignore duplication command history list
|
||||||
setopt hist_ignore_space
|
setopt hist_ignore_space
|
||||||
setopt hist_verify
|
setopt hist_verify
|
||||||
setopt inc_append_history
|
setopt inc_append_history
|
||||||
setopt share_history # share command history data
|
#setopt share_history # share command history data
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue