101 reputation
bio website github.com/wkschwartz
location Washington, United States
visits member for 2 years, 10 months
seen Oct 15 '14 at 18:10

comment How do you kick a benign user off your system?
To make this answer explicit, what I did was: echo "Hasta la vista, baby" | write user_name pty_name && sleep 30 && killall -u user_name -HUP(the sleep gives the user the chance to save and log off, but you're probably only using this on a user who forgot to log off anyway)