Advertisements

Tuer un processus sous GNU/Linux

Image IPB

Un programme qui plante ? Si la chose est courante sous Windows, elle plus rare avec GNU/linux mais ça peut toujours arriver. Arrêter un processus sous GNU/Linux est facile et nettement plus rapide que sous Windows. Voici différentes méthodes.

1/ Vous connaissez le nom du processus.

Vous n’avez pas besoin de connaître le nom en entier. Si vous tapez qu’une partie du nom, cette commande arrêtera tous les processus qui contiennent ce que vous avez écrit, pratique mais dangereux. Ouvrez un terminal et tapez :

 pkill firefox

 2/ S’il y a plusieurs processus à tuer.

Certains programmes se dupliquent en plusieurs processus. Les rechercher pour les tuer un à un peut être fastidieux. Imaginons que le programme nommé blourg plante, ce qui est normal vu son nom, et qu’il a de multiples processus… Il suffit de taper :

killall blourg

Image IPB

3/ Vous ne connaissez pas le nom du processus.

Pas de problème ! Pour lister les processus, tapez

ps -faux

Repérez le numéro PID du processus à tuer puis tapez :

 kill 4432

S’il met trop de temps à fermer, tapez:

 kill -9 4432

Cette commande arrête immédiatement le processus.

 

Image IPB

Advertisements

2 Comments on Tuer un processus sous GNU/Linux

  1. Bon a savoir pour les debutants : il existe un etat dans lequel un processus ne peut pas etre tue meme avec kill -9 : Si il est bloque et dans la colonne STAT il a le status « D ».

    Dans ce cas precis, pas le choix, il faut redemarrer le serveur pour faire disparaitre ce processus.

    Ca peut arriver sur des processus effectuant des operations d’I/O sur des points de montage distants NFS ou SMB qui ne sont plus accessibles sur le reseau.

    J'aime

  2. J’utilisais kill -KILL mais je viens d’apprendre qu’il correspond à -9, je vais gagner quelques caractère d’économies.

    Thanks ! 🙂

    J'aime

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :