If Inferno hangs but you can still
interact with the operating system, you must use either the kill
alias defined in the Inferno .cshrc file
or the kill command
in conjunction with the individual process IDs.
WarningThese kill procedures should not be used
to exit Inferno unless the application is hung or otherwise not
responding. Killing processes indiscriminately can cause system
problems. Under normal conditions, you should use one of the exit
procedures described in
Exiting Inferno.
