On Jan 31, 2017, at 01:45 , Emmanuel Charpentier wrote:
> Suggestion (I don't have Magma and can't try) : hit Ctrl-D (proabbly
> Command-d on a Mac), thus signalling an end of file to Magma. Or try the
> Magma command yyou type to end a terminal session.
FWIW, CMD-D on the Mac generally will do something like "duplicate".
For Terminal (and many components with a "text edit"-like interface), ^D will signal end-of-file.
Not sure what the appropriate thing is for any of the notebook interfaces for Sage.
HTH
Justin
--
Justin C. Walker, Curmudgeon-At-Large
Institute for the Absorption of Federal Funds
--------
If you're not confused,
You're not paying attention
--------