Semblable à un poste à propos de cd
j'ai écrasé exit
pour faire ce qui suit :
function exit() { $HOME/script.sh && builtin exit "$@"; }
Bien que cela fonctionne comme prévu lorsque exit
est appelé directement, lorsque le Shell est quitté via CTRL-D, celui-ci ne s'exécute pas, OU, s'il s'exécute, le Shell ne parvient pas à se terminer.
Qu'est-ce qui se passe ? Est-ce qu'une méthode autre que exit
appelé lorsque CTRL-D est utilisé ?