Bien, ce n'est pas si difficile après tout. En fait, il y a peu de chances que vous en ayez besoin, mais au cas où... Vous avez plusieurs possibilités pour ce faire. Vous pouvez le faire en cherchant le PID du programme en cause et d'utiliser la commande kill pour le terminer, ou vous pouvez utiliser l'outil xkill ou tout autre outil graphique, tels que ceux qui montrent l'arborescence des processus.
La première chose à faire pour terminer un programme récalcitrant est de trouver son PID, ou Process ID (son numéro identifiant système). Pour ce faire, tapez la commande qui suit dans une console : ps aux | grep mozilla, en supposant que Mozilla soit le programme incriminé. Vous allez obtenir quelque chose comme :
pierre 3505 7.7 23.1 24816 15076 pts/2 Z 21:29 0:02 /usr/lib/mozilla |
Ceci nous indique, entre autres, que Mozilla a été démarré par l'utilisateur pierre et que son PID est 3505.
Maintenant que nous avons le PID du programme défectueux, nous pouvons poursuivre et exécuter la commande kill pour le terminer. Donc, nous exécutons ceci : kill -9 3505, et voilà ! Mozilla sera tué. Notez que cette méthode doit être utilisée seulement lorsque le programme ne répond plus à vos sollicitations. Ne l'utilisez pas comme méthode habituelle pour quitter une application.
En fait, nous avons envoyé le signal KILL au processus numéro 3505. La commande kill accepte d'autres signaux que KILL, pour avoir un contrôle plus fin sur vos processus. Pour plus d'informations, voyez kill(1).