J'ai écrit un script bash script qui appelle plusieurs autres programmes et exécute un certain nombre de commandes. Je lance ce script depuis le terminal. Je veux maintenant tuer le script.
Appuyer sur Ctrl + C
ne suffit pas toujours, je pense que c'est parce que parfois le script exécute un autre programme, et pour une raison ou une autre le signal kill ne fonctionne pas.
Cependant, si je ferme la fenêtre du terminal, cela tue le script.
Y a-t-il quelque chose que je puisse faire (une combinaison de clavier), qui soit analogue à la fermeture de la fenêtre du terminal, sans fermer réellement la fenêtre du terminal (je ne veux pas perdre l'historique des commandes, le répertoire courant, l'historique des sorties, etc.)