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 bash to 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 setopt statement?