Is there a reliable way to kill all the processes of a given user? kill(-1, SIGKILL) as that user will work, unless a rogue process of that user kills the killi
kill(-1, SIGKILL)
On Debian LINUX, I use: ps -o pid= -u username | xargs sudo kill -9.
ps -o pid= -u username | xargs sudo kill -9
With -o pid= the ps header is supressed, and the output is only the pid list. As far as I know, Debian shell is POSIX compliant.
-o pid=