Cuando se finaliza un shell de Terminal de macOS High Sierra utilizando el exit
el historial del shell Bash se guarda y puede ser recuperado en sesiones posteriores del shell. Sin embargo, si el shell se termina cerrando la pestaña o la ventana del Terminal, el historial del shell no se guardará. ¿Cómo se puede guardar el historial del shell también al cerrar una pestaña del Terminal?
Es de suponer que el problema está relacionado con el hecho de que la trampa colocada en /etc/bashrc_Apple_Terminal
( trap shell_session_update EXIT
) no se activa al cerrar una pestaña. ¿Hay alguna señal que pueda ser atrapada al cerrar una pestaña de la Terminal?