On Wednesday, December 25, 2024 at 12:28:56 PM UTC-6 g.va...@gmail.com wrote:
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. mate-terminal.wrapper is a shell script to launch mate-terminal. The latter is a fork of gnome-terminal (using an older version of Gnome toolkit, GTK, namely, version 2) 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/5af2a55f-0596-49ae-859f-ab4219fc3579n%40googlegroups.com.
