|
|
|
|
|
|
by g5095
1407 days ago
|
|
|
"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) |
|
|