On Wed, Dec 25, 2024 at 07:28:16PM +0100, Grégory Vanuxem 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.
For me it looks mostly OK. One style remark: it is better to
write:
char *TERM = getenv("FRICASTERM");
that is declare and initialize variable in one shot, instead of
a separate assignment later.
> 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.
IIUC of the above, 'koi8rxterm', 'lxterm', 'uxterm' are just 'xterm'
with extra flags. So that leaves 'qterminal' and 'mate-terminal.wrapper'
as two potentially different terminals. You write that 'qterminal'
does not work. Do I understand correctly that 'mate-terminal.wrapper'
works? And what is to wrapping? In particular, is it really different
from 'xterm'?
On my machine the only really different termianal emulator is
'lxterminal' and it apparently does not work with HyperDoc.
--
Waldek Hebisch
--
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/Z24OQhleEH6J7bPe%40fricas.org.
