Ma page de manuel ne documente pas la différence entre
kill <pid>
et
kill -9 <pid>
Étant donné que cela fait des choses différentes, pourquoi le -9 n'est pas documenté dans la kill
page de manuel? Je pensais que c'était peut-être des choses spécifiques au shell, donc j'ai aussi regardé la page de manuel bash mais pas de chance.
Question bonus: que fait le -9?
kill <pid>
) est TERM.