> As for killing someone, the way i usualy go about it is to run `id > <user>` and find out the users UID then simply `pkill -U <UID>`. Im > sure somebody will reply with a more standard way to do this but if > they dont then atleast you got this :). I don't know if there's a more standard way. Killing their login shell is the way I've always done it.