sukolyn a écrit : ↑dim. 22 déc. 2019, 00:16
pkill cheese
!
Noter que le programme
/usr/bin/kill
s'applique au nom d'un processus
sans avoir à donner le pid
si on le "libère" en désactivant la fonction kill intégrée de bash :
Code : Tout sélectionner
You may be interested to know that /usr/bin/kill can actually kill processes by name, but some shells, such as bash,
"helpfully" provide their own, inferior implementation for hysterical raisons.
"enable -n kill" will disable bash's built-in function.
⇒ si on ajoute
enable -n kill
à son .bashrc, par la suite
$ kill cheese
fonctionnera, en toute simplicité
(idem avec
disable kill
dans .zshrc ou .zshrc.local)
Edit: les signaux -STOP et -CONT pourront alors s'appliquer aussi à la commande Kill + le nom du process et plus seulement le PID