Hello, Attached are two very simple patches to use another terminal emulator for HyperDoc using an environment variable FRICASTERM.
On my system TERM is also defined but wrongly defined. I mimicked FRICASEDITOR to let the user choose the one for FriCAS in HyperDoc. On my system I have: └─$ update-alternatives --config x-terminal-emulator There are 6 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator). Selection Path Priority Status ------------------------------------------------------------ 0 /usr/bin/qterminal 40 auto mode 1 /usr/bin/koi8rxterm 20 manual mode 2 /usr/bin/lxterm 30 manual mode * 3 /usr/bin/mate-terminal.wrapper 35 manual mode 4 /usr/bin/qterminal 40 manual mode 5 /usr/bin/uxterm 20 manual mode 6 /usr/bin/xterm 20 manual mode Press <enter> to keep the current choice[*], or type selection number: qterminal does not support HyperDoc commands and mate-terminal.wrapper is a Perl wrapper to support xterm commands apparently. This wrapper is provided by the mate-terminal team. If FRICASTERM is not defined xterm is used. Regards, - Greg -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" 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/fricas-devel/CAHnU2daKjbxeS9e-baKjMmtUE_vaLLyY%3D1BMELL9NJBa0Jk4Pg%40mail.gmail.com.
sman.diff
Description: Binary data
spadint.patch
Description: Binary data
