Я пытаюсь настроить zsh
так, чтобы он разделял историю команд между различными сессиями zsh
:
- в нескольких вкладках
- в нескольких гном-терминалах
- в разных сеансах
screen
Я положил это в .zshrc
#To save every command before it is executed (this is different from bash's history -a solution):
setopt inc_append_history
#To retrieve the history file everytime history is called upon.
setopt share_history
но это не работает.
например, я набираю 1 команду: gedit afile
а затем я иду и zsh и введите history
. Я не вижу gedit afile
.
вывод 'setopt' является
% setopt
nohistbeep
histexpiredupsfirst
histfindnodups
histignorealldups
histignoredups
histignorespace
histnostore
histreduceblanks
histsavenodups
histverify
incappendhistory
interactive
monitor
promptsubst
sharehistory
shinstdin
zle
Как мне этого добиться?