Killing All Inferno-Related Processes
 
 
 

The .cshrc file that comes with your Inferno system contains the alias ki which can be used to kill all Inferno processes at once.

To kill all Inferno-related processes:

  1. In a shell, type ki.

To verify that all Inferno-related processes have been killed:

  1. Type ps -fu <inferno account name>.

    This command displays information about all active processes, including the application with which each process is associated, and a process ID number. If all Inferno processes have been successfully killed, this command should return no results.

    Never restart Inferno if there are still Inferno processes left over from a previous session. If some Inferno processes persist after using the kill alias, you must kill them independently.