On Wed, 2004-08-25 at 11:20, Robert P. J. Day wrote:
On Wed, 25 Aug 2004, Randy Kelsoe wrote:
> To kill a user, you can try killall <username>. I have not tried
> that with linux, but it worked for a unix machine I had.
i'd be surprised if that worked, since killall deals with processes
that are running any of the specified *commands* you provide, not
based on the username you provide. unless there's some weird option
i've never seen before.
skill -u <username> might work, per the man page.