Après avoir utilisé tout simplement kill <some_pid>sur les systèmes Unix depuis de nombreuses années, j'ai appris pkilld'un Linux-savvy jeune collègue collègue 1 . J'ai vite accepté le Linux-way, pgrep-ment et pkill-ment à travers de nombreux jours et nuits, grâce à des ralentissements et des...