La commande kill permet d'interrompre immédiatement les processus de commande dont vous souhaitez vous débarrasser. Elle est particulièrement utile lorsque vous avez lancé par erreur une commande dont l'exécution prend du temps.
Pour interrompre un processus, procédez de la façon suivante :
Tapez ps pour obtenir la liste des PID du ou des processus.
Tapez kill, suivi du ou des PID.
Cette procédure est illustrée dans l'exemple suivant :
$ ps PID TTY TIME COMMAND 1291 co 0:12 -bin/csh (csh) 3250 p0 0:00 ps 1286 p1 0:05 -bin/csh (csh) 3248 p1 0:05 vi commands $ kill 1291 [1} Terminated -bin/csh/ (csh) $ |
Pour connaître encore plus rapidement le PID, limitez le résultat de la commande ps en exécutant la commande grep de la manière suivante :
$ ps | grep nom_commande |
où nom_commande désigne le nom du processus de commande que vous souhaitez interrompre.
Si vous devez absolument interrompre un processus, vous pouvez préciser l'option -9 dans la commande ps, comme illustré ci-dessous :
$ kill -9 n. PID |
où n.PID désigne l'identificateur du processus que vous souhaitez interrompre.