La mia pagina man non documenta la differenza tra
kill <pid>
e
kill -9 <pid>
Dato che fanno cose diverse, perché il -9 non è documentato nella kill
manpage? Ho pensato che forse fosse una cosa specifica per la shell, quindi ho guardato anche nella pagina man di bash, ma senza fortuna.
Domanda bonus: cosa fa il -9?
kill <pid>
) è TERM.