)hd system command

[Grégory Vanuxem]

Hello again,

What about adding documentation of the ')hd' system command which
starts HyperDoc. It is very handy. In fact I am in favor of not
starting HyperDoc by default at startup but that's another point (if
you know what you're doing HyperDoc automatic startup is annoying).
But this requires fixing this error message from X when you close
HyperDoc (and eventually restart it later):

(1) -> )hd
(1) -> X connection to :0 broken (explicit kill or server shutdown).

Regards,

- Greg

[Qian Yun]

(1) -> )synonym
...
)hd ............................ )system hypertex &


As shown above, ")hd" is shortcut for ")system hypertex &".
This information should be mention somewhere.

BTW, you know that "fricas -nox" can start without HyperDoc, right?

Also, the error message appears when you click the windows manager's
close button, instead of the "Exit" button in HyperDoc.

- Qian

[Grégory Vanuxem]

Le mar. 30 janv. 2024 à 11:36, Qian Yun <oldk...@gmail.com> a écrit :

(1) -> )synonym
...
  )hd ............................ )system hypertex &


As shown above, ")hd" is shortcut for ")system hypertex &".
This information should be mention somewhere.

Ageed.

And Thanks, I did not know. But having this information, starting HyperDoc, via )synonym is somewhat clumsy.

BTW, you know that "fricas -nox" can start without HyperDoc, right?

Yes, of course. Or fricas -nohd which is preferable from my point of view since it allows you to start it if necessary.

Also, the error message appears when you click the windows manager's
close button, instead of the "Exit" button in HyperDoc.

Yes! I forgot…

- Qian

On 1/30/24 17:16, Grégory Vanuxem wrote:
> Hello again,
>
> What about adding documentation of the ')hd' system command which
> starts HyperDoc. It is very handy. In fact I am in favor of not
> starting HyperDoc by default at startup but that's another point (if
> you know what you're doing HyperDoc automatic startup is annoying).
> But this requires fixing this error message from X when you close
> HyperDoc (and eventually restart it later):
>
> (1) -> )hd
> (1) -> X connection to :0 broken (explicit kill or server shutdown).
>
> 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...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/b33ca632-e752-4703-8c86-c9b371d63915%40gmail.com.