J'avais dit un jour par messagerie instantanée à une connaissance de faire ps aux |grep acidrip pour savoir le PID du processus acidrip. Le but étant de le tuer parce qu'il avait l'air de planter. Au bout de 20 minutes, je le tue moi-même en ssh et 10 minutes plus tard, je recoit la plainte suivante :

:~$ ps aux |grep acidrip

XXXX 7798 0.0 0.0 2976 760 pts/2 R+ 15:49 0:00 grep acidrip

:~$ kill 7798

bash: kill: (7798) - No such process

Bon. J'avoue que ça ne fera rire que les geeks.