kill d'un process sans connaître son PID
Ca peut paraître con comme ça mais j'ai cherché un peu tout de même pour trouver.
Cette petite commande Linux permet de killer un processus sans connaître le PID de ce process (d'où le titre)
Imaginons que l'on veuille buter le process gedit (l'exemple est trivial, mais ça ne reste qu'un exemple), deux solutions s'offrent à nous (bien qu'il en existe sûrement d'autres)
ps auxw|grep gedit|grep -v grep|cut -c10-16|xargs kill
sinon, en plus simple :
ps -C gedit -o pid= | xargs kill
Explications :
- Dans le premier cas, on opère liste des processus, grep de gedit, dégageage de grep du résultat, cut pour récupérer le PID et passage d'argument à kill via xargs
- Dans le deuxième cas, on extrait uniquement le PID correspondant et on le passe en argument à la commande kill via xargs
Enjoy
PS : Pourquoi je vous raconte tout ça ? Ben... pour être sûr de ne pas oublier la commande 
mardi 14 juin 2005 :: farf :: 4 commentaires :: lu 443 fois

