On Tue, Mar 3, 2026 at 11:06 AM Marc Culler <[email protected]> wrote:
> Why do you think that disabling ColorPrompt would make a difference, if
> the escape sequence is being emitted by rl_initialize()?
>
Well, just trying to be less "fancy-terminals"-bound.
As well, instead of Display(...) one should run Print(...,"\n"), as Display
might colour, format, etc. things, if allowed.
Or, even safer, use 'PrintTo("/tmp/foobar42.txt",..., "\n") and get the
needed values from "/tmp/foobar42".
(by right, these should be in a temp dir etc etc)
But, perhaps much easier might be to add '-E' switch to these GAP calls.
'-E' means "disable readline (if possible)",
according to the output of "gap -h". (no idea what "if possible" means)
Dima
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/sage-devel/CAAWYfq0u5iCbyEZX15Tqos%3D40SehuS5%2BwV%3DM6DzSB-Gq4q_u6w%40mail.gmail.com.
