Lorsqu'un shell Terminal de MacOS High Sierra est terminé à l'aide de la commande exit l'historique de l'interpréteur de commandes Bash est sauvegardé et peut être rappelé lors des sessions suivantes de l'interpréteur de commandes. Cependant, si le shell est terminé en fermant l'onglet ou la fenêtre du terminal, l'historique du shell ne sera pas sauvegardé. Comment faire pour que l'historique du shell soit également sauvegardé lors de la fermeture d'un onglet du terminal ?
Le problème est probablement lié au fait que le piège tendu en /etc/bashrc_Apple_Terminal ( trap shell_session_update EXIT ) n'est pas déclenchée lors de la fermeture d'un onglet. Existe-t-il un signal qui pourrait être piégé lors de la fermeture d'un onglet du terminal ?
