Looks like I was wrong. :)<br><br><div class="gmail_quote">On Jan 11, 2008 7:32 AM, Ken McLennan <<a href="mailto:kenrmcl@mysoul.com.au">kenrmcl@mysoul.com.au</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">Nils Kassube wrote:<br>> Shane McKinley wrote:<br>><br>>> I always use kill -9 XXXX, don't know if there is a difference.<br>>><br>>> -9 is undocumented, but seems to work for me every time.
<br>>><br>><br>> Not undocumented but you have to know where to look: "man 7 signal" will<br>> tell you that -9 is the same as -KILL.<br>><br>><br>> Nils<br>><br>><br></div>    From where came the 'undocumented' comment? In my system it's right
<br>there under 'man kill'. I would have thought that it would be included<br>in most man pages for the 'kill' topic. Not only that, but it was<br>included in at least 3 beginner's guides that I've read so it's hardly a
<br>hidden feature.<br><br>See ya<br><font color="#888888">Ken McLennan<br>Qld, Australia<br></font><div><div></div><div class="Wj3C7c"><br>--<br>ubuntu-users mailing list<br><a href="mailto:ubuntu-users@lists.ubuntu.com">
ubuntu-users@lists.ubuntu.com</a><br>Modify settings or unsubscribe at: <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-users" target="_blank">https://lists.ubuntu.com/mailman/listinfo/ubuntu-users</a><br></div>
</div></blockquote></div><br>