Dan Drake wrote: > On Fri, 03 Apr 2009 at 01:58AM -0700, John Cremona wrote: >> I think I do understand what Armand is asking. Let's see: >> >> Say I have been using Magma for half an hour. I typed lots of stuff, >> including typos etc, and a whole lot of output has scrolled past. Now >> I want to keep all the commands that I typed, put them in a file, >> sanitize them, ans use them later as a kind of script. I can do that >> in Magma like this: >> > [...] >> Now I think that Armand wants an equivalent to %S. Presumably the >> commands typed in will all be in a history file somewhere. > > On the command line, there's log_text, log_html, and log_dvi. They > record (mostly) what you type into the session. >
I didn't know about these; these are really cool commands! Is there maybe any way that the log_* commands could have an option to also include output? (maybe even typeset output for the dvi one and jsmath output for the html one...) All three of the commands seemed to work for me. I had some sort of error the first time I used log_dvi(), but it's worked every time since then. Jason --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
