Cuando se finaliza un shell macOS High Sierra Terminal con el comando exit , el historial del shell Bash se guarda y se puede recuperar en las siguientes sesiones del shell. Sin embargo, si el shell finaliza cerrando la pestaña o la ventana del Terminal, el historial del shell no se guardará. ¿Cómo se puede guardar el historial de shell al cerrar una pestaña de Terminal?
Es de suponer que el problema se relaciona con el hecho de que la captura establecida en /etc/bashrc_Apple_Terminal ( trap shell_session_update EXIT ) no se activa al cerrar una pestaña. ¿Hay alguna señal que pueda quedar atrapada al cerrar una pestaña de Terminal?