On macOS, there is a sessions directory that combines commands from multiple zsh sessions into a single history file.
Is it necessary to use zsh shell options in the
.zshrc file, to manipulate how
zsh handles history, so that commands are appended to
.zsh_history, or are these options redundant and ignored?
I see many people recommend, when transitioning from
zsh, to add the following options to make history include commands from other sessions and add other functionality (that appears to be built in):
APPEND_HISTORY HISTFILE=~/.zsh_history HISTSIZE=100000000 SAVEHIST=100000000 setopt INC_APPEND_HISTORY [...]
However, it seems those are built in and needn't be specified.
Bonus question: Can one list multiple shell options after a single
setopt, instead of having each option in a separate