Existe-t-il un moyen (peut-être un script) d'automatiser ce processus:
petr@sova:~$ ps -ef | grep middleman
petr 18445 2312 1 12:06 pts/2 00:00:01 /home/petr/.rvm/gems/ruby-1.9.3-p362/bin/middleman
petr 18581 13621 0 12:08 pts/0 00:00:00 grep --color=auto middleman
petr@sova:~$ kill -9 18445
Malheureusement, pkill
est trop faible car je dois choisir l' -9
option kill
.
-KILL
que -9
. Quel nombre correspond à quel signal dépend de l'implémentation. SIGKILL
se trouve être 9
sur Linux i386 et Linux amd64, mais pas nécessairement partout. ( Plus d'informations ici. )
-KILL
aussi l' utiliser (car cela rend le code plus lisible), il convient de noter qu'il SIGKILL = 9
est spécifié par POSIX , il -9
est donc assez portable de nos jours (et ne dépend pas des noyaux ou des architectures).
-9
avecpkill
...