On Sunday, December 22, 2024 at 6:20:19 AM UTC-6 Kurt Pagani wrote:
On Sunday, 22 December 2024 at 12:42:18 UTC+1 kin...@gmail.com wrote: > > 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 ``` I would install it immediately ;-) It's still one of the best terminals if properly configured (Xresources). BTW, Wayland is just a parade example what will happen when people are to eager to reinvent the wheel. https://www.reddit.com/r/linux/comments/1dl833i/the_wayland_breaks_everything_gist_still_has/ The "Wayland breaks everything" gist still has people actively commenting to this day, after almost 4 years of being up. Demanding a "proper" X11 in 2024 is akin to demanding anonymous ftp and open smtp relays. There are systems where Wayland is the only thing that works, e.g. on Chromebooks. I have it disabled on all machines. You are certainly right in that one could do a lot more with respect to aesthetics and attractiveness, however, focus is on math in the first place and it's a matter of fact that many systems have been sunset because of too much deference to users wishes. > > 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/2fb544ce-70ae-427c-a418-afe0e291947fn%40googlegroups.com.
