"More often than not I find myself having to kill the running process from an external app, such as the shell, after first figuring out what the process ID is."

"More often than not I find myself having to kill the running process from an external app, such as the shell, after first figuring out what the process ID is." Short cut here, ctrl-z to background the process, then kill -9 %1 to kill the first job (type jobs for the numbers)