En macOS, hay un directorio de sesiones que combina comandos de múltiples sesiones zsh en un solo archivo de historial.
¿Es necesario usar opciones de shell en el archivo .zshrc
para manipular cómo zsh
maneja el historial, de manera que los comandos se agreguen a .zsh_history
, o estas opciones son redundantes y se ignoran?
Veo que muchas personas recomiendan, al hacer la transición de bash
a zsh
, agregar las siguientes opciones para que el historial incluya comandos de otras sesiones y añada otras funcionalidades (que parecen estar integradas):
APPEND_HISTORY
HISTFILE=~/.zsh_history
HISTSIZE=100000000
SAVEHIST=100000000
setopt INC_APPEND_HISTORY
[...]
Sin embargo, parece que estas opciones están integradas y no necesitan ser especificadas.
Pregunta extra: ¿Se pueden listar varias opciones de shell después de un solo setopt
, en lugar de tener cada opción en una declaración setopt
separada?