Bonjour, pouvez-vous me dire quelle est la syntaxe pour tuer un processus ?
À partir d’une fenêtre de console:
$ ps -ef #(liste de tous les processus)
$ ps -ef | grep xxx #(où xxx est le nom du processus, liste ce processus)
$ sudo kill -9 psid #(où psid est la valeur du processus que vous voulez tuer)
Méthode 1:
Si vous connaissez le nom du processus, tapez dans un terminal la commande suivante:
$ killall <nom du processus>
par exemple pour tuer notepad, utilisez:
$ killall notepad
il n’y a pas de retour d’information.
Méthode 2:
si vous connaissez l’ID du processus, vous pouvez entrer la commande suivante dans le terminal
$ kill PID
notez que le PID peut être différent à chaque fois que vous démarrez le processus. Vous pouvez trouver le PID à l’aide de la commande suivante
$ top
PID USER PR NI VIRT RES SHR S %CPU %MEM TIME+ COMMAND
1796 root 20 0 108m 51m 15m R 2 4.0 20:59.92 Calc
5024 alexbab- 20 0 112m 52m 19m S 2 4.1 14:05.41 plugin-containe
5783 alexbab- 20 0 32184 13m 13m S 4 0.9 0:01.55 gnome-terminal
3314 alexbab- 20 0 898m 116m 30m S 4 7.0 10:40.33 chrome-bin
6985 alexbab- 20 0 89668 4428 3444 S 2 0.2 0:33.72 notepad
En faisant cela, j’ai trouvé que le notepad avait un PID de 6985, j’ai donc entré:
$ kill 6985
La méthode la plus simple consiste à ouvrir gnome-system-monitor dans le terminal ou dans le menu Favoris (ou Applications-> Outils système).
Trouvez le processus, faites un clic droit dessus et sélectionnez kill.
Si vous connaissez PEUT-ÊTRE le nom du processus… (exemple : utilisation du programme ‹ gimp ›)
pgrep -l gimp
renvoie
9505 gimp-3.8
…vous donne l’identifiant et le nom du processus. Vous pouvez alors…
kill 9505
Si vous êtes PLUS CONFIANT…
pkill gimp
Vous pouvez toujours explorer toutes les possibilités.
man ps
man kill
man pkill