Killing a process
killcommand with the job number as an argument. For example, to kill job 2:
% kill %2
killcommand with the process ID as an argument. For example, to kill process 12030:
% kill 12030If that doesn't kill it, use the
% kill -9 12030If even that doesn't kill it, ask a UC for help.
Warning!Once you have killed a job or process, it cannot be resumed. You can, however, start it over.
See `Finding your processes' to learn how to find out job numbers and process IDs.
John Shipman, firstname.lastname@example.org
Last updated: 1995/12/04 19:39:34 UT