Kill a process by its PID. Note you can find pids from pstree -pu.
ggeller@harrison:~/tmp$ kill -9 1234
man kill man signal man 7 signal -- a list of signals
Category: Linux Commands
