On Thursday, December 26, 2024 at 8:17:41 PM UTC-6 Waldek Hebisch wrote:
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'?
it is different. It's using a newer widgets toolkit, as opposed to the
really ancient, Athena
toolkit used by xterm (libAw).
AFAIK, no modern terminal emulator uses Athena toolkit. Major flavours
which are used are: GTK-based, Qt based, and KDE-based.
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/6b7b4faf-98fd-4958-849d-5dca9fd27aa5n%40googlegroups.com.
