On Tue, Jun 14, 2022 at 12:42:20PM +0800, Qian Yun wrote:
> Just take a deeper look.
>
> If you start with "fricas -nox", you can start hyperDoc later with
> ")hd", which is just a shorthand for ")system hypertex &".
>
> And it seems that
> ")system /usr/lib64/fricas/target/x86_64-pc-linux-gnu/lib/viewman &"
> works as well.
>
> So if I dig deeper and find that there is no special reason
> for sman to spawn "viewman" endlessly, we can treat it the same
> as "hyertex": sman will just spawn it once when launch fricas,
> user can spawn it manually when needed.
If you take seriously possibility that viewman may die, then
natural thing is to automatically restart it. And this is
what 'sman' is doing now.
--
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/20220614162848.GA13753%40fricas.math.uni.wroc.pl.
