Hello,
So what about writing a dedicated )hd routine or whatever name is
chosen so that HyperDoc receives signals from FriCAS ? As Waldek has
said, most programs will not read standard input.
Le sam. 13 avr. 2024 à 05:53, Qian Yun a écrit :
>
> The normal "hypertex" (started by sman) receives SI
The normal "hypertex" (started by sman) receives SIGTERM when we exit
fricas;
The "hypertex" started by ")hd" (with :input t) receives SIGHUP when
we exit fricas;
The "hypertex" started by ")hd" (with :input nil) receives no signal
when we exit fricas.
I have no further findings so far.
- Qian
On Wed, Apr 10, 2024 at 06:00:26PM +0800, Qian Yun wrote:
> I was using 1.3.10 release, no problem. Trunk version has this problem.
>
> Bisect to commit 1936e863, "Rename 'OBEY' to '|run_shell_command|' and
> implement with '|run_program|'".
>
> This can be fixed by adding ":input t" to "sb-ext:
I was using 1.3.10 release, no problem. Trunk version has this problem.
Bisect to commit 1936e863, "Rename 'OBEY' to '|run_shell_command|' and
implement with '|run_program|'".
This can be fixed by adding ":input t" to "sb-ext:run-program",
but I can not explain why.
diff --git a/src/lisp/frica
On Wed, Apr 10, 2024 at 04:00:31AM +0200, Grégory Vanuxem wrote:
> I can not reproduce that. Even with a freshly cloned Official FriCAS
> on a pure Linux partition. That's very strange, you probably have a
> setting that I don't know. Thanks anyway.
I see the same as you. HyperDoc should quit, bu
I can not reproduce that. Even with a freshly cloned Official FriCAS
on a pure Linux partition. That's very strange, you probably have a
setting that I don't know. Thanks anyway.
Le mer. 10 avr. 2024 à 01:48, Qian Yun a écrit :
>
> When I start HyperDoc with ')hd', it automatically closes when
>
When I start HyperDoc with ')hd', it automatically closes when
I quit FriCAS with ')q'.
- Qian
On 4/10/24 00:42, Grégory Vanuxem wrote:
Hello,
See email object.
I would like to be able to only use HyperDoc when I want, and,
usually, not at startup time. The problem is if I use the ')hd' syste
Hello,
See email object.
I would like to be able to only use HyperDoc when I want, and,
usually, not at startup time. The problem is if I use the ')hd' system
synonym when I close FriCAS, HyperDoc is still in use. I have to
manually close HyperDoc windows after closing FriCAS. So is there a
comma
