Ctrl-D works, thanks! On Tuesday, January 31, 2017 at 10:45:01 AM UTC+1, 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. > > HTH, > > -- > Emmanuel Charpentier > > Le mardi 31 janvier 2017 10:37:24 UTC+1, Soli vishkautsan a écrit : >> >> When running sage in terminal: >> >> sage: %magma >> --> Switching to Magma <-- >> magma: GetVersion(); >> 2 22 7 >> >> Then I have no idea how to exit magma mode, nothing I try works, >> and I cannot get back to sage. Help? >> >
-- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
