> > The HyperDoc system looks very dated to me as well. I do not see myself
> > using it. To make matters worse, when I ask it to solve an equation, it
> > tries to launch `xterm`, which is not available on my system, and hangs.
>
> What does  "not available" mean here?  'xterm' is standard component
> of X11, available in all Linux distributions that I know about and
> in many other systems.  Current Linux distributions allow you choice
> of installed packages and you may decide to not install xterm.
> Or do you mean that you are not allowed to add system components
> to system that you use?

What I mean is that `xterm` is something our forefathers wielded. Even
X11 itself is optional now as Wayland is widely offered. Even if maybe
you can expect people to be able to install `xterm`, there is no
reason to think they will like your opening an `xterm` window for them
— this is one side of the _«dated»_ characteristic. A better way to
open a terminal is to consult the `TERM` environment variable and open
what it says.

To be concrete, here is the situation on my current system:

```
% which 'xterm'
xterm not found
% echo "$TERM"
alacritty
```

> > Annoyingly, HyperDoc pops up every time I restart my FriCAS Jupyter
> > notebook. This is an annoyance that I wish I knew how to disable.
>
> Hmm, I can not comment on Jupyter, but on command line you can define
> shell alias like:
>
> alias fricas='fricas -noht'

This is exactly what I needed! And it is listed in the help message. I
had not noticed.

```
% fricas -h
…
  -ht   | -noht      use HyperDoc (default: -ht)
…
```

I just checked and this works great when added to `fricaskernel.py`.

-- 
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/CAB-2Q0-tJK%3DqVcSNcYeyPeR11ACMTZu8kiryo91TLm-84B%3DoNQ%40mail.gmail.com.

Reply via email to