Starting, Interrupting, and Terminating

If Magma has been installed correctly, it may be activated by typing ‘magma’.

<Ctrl>-C

Interrupt Magma while it is performing some task (that is, while the user does not have a ‘prompt’) to obtain a new prompt. Magma will try to interrupt at a convenient point (this may take some time). If <Ctrl>-C is typed twice within half a second, Magma will exit completely immediately.

quit;

<Ctrl>-D

Terminate the current Magma-session.

<Ctrl>-\

Immediately quit Magma (send the signal SIGQUIT to the Magma process on Unix machines). This is occasionally useful when <Ctrl>-C does not seem to work.