Closed tbung closed 2 years ago
Actually, one note about MagmaRestart
clearing output: maybe we should have :MagmaRestart
not clear output and :MagmaRestart!
clear output (or vice versa).
I implemented it so it deletes outputs if used with a bang.
Ok to merge?
All ok from my end. Thanks for responding so quickly! This was a really pleasurable experience!
You're welcome!
Whoops, closed instead of merge. :sweat_smile:
Fixes #34
This adds two new commands,
MagmaInterrupt
which sends aSIGINT
to the kernel, andMagmaRestart
which completely restarts the kernel.It may be worth to discuss whether
MagmaRestart
should also clear all output.