yes it does. Thank you for the help and your work on FriCAS.
On Friday, October 28, 2022 at 12:16:35 AM UTC+3 ra...@hemmecke.org wrote:
> On 27.10.22 22:25, Agnelo De Araujo wrote:
> > So I managed to make and install it, but for some reason the command
> > "fricas" wasn't added to my bash source
On 27.10.22 22:25, Agnelo De Araujo wrote:
So I managed to make and install it, but for some reason the command
"fricas" wasn't added to my bash source file
Huh? The FriCAS installation script will not touch your .bashrc.
It depends on how you have actually installed it.
With "sudo make instal
So I managed to make and install it, but for some reason the command
"fricas" wasn't added to my bash source file
On Thursday, October 27, 2022 at 4:20:16 PM UTC+3 ra...@hemmecke.org wrote:
> On 27.10.22 13:50, Qian Yun wrote:
> > OK, the "xvfb-run --help" on Fedora shows:
> >
> > -a--a
I built it in desktop not a remote console
-Agnelo
On Thursday, October 27, 2022 at 1:50:32 PM UTC+3 oldk1331 wrote:
> Hi,
>
> I can reproduce this error on Fedora 36 desktop.
>
> Just to make sure, did you build fricas in desktop or in (remote) console?
> I assume you are building under desktop
On 27.10.22 13:50, Qian Yun wrote:
OK, the "xvfb-run --help" on Fedora shows:
-a --auto-servernum
try to get a free server number, starting at --server-num
(deprecated, use --auto-display instead)
-d --auto-display
use the X server to find a display number automatically
Well, the
OK, the "xvfb-run --help" on Fedora shows:
-a--auto-servernum
try to get a free server number, starting at --server-num
(deprecated, use --auto-display instead)
-d--auto-display
use the X server to find a display number automatically
Well, the "--auto-display" option is not nece
It is strange that we are still using "-n 0": first the help shows
that it is deprecated to use "-a" together with "-n"; second, it's
easy to conflict with current DISPLAY to use "0".
I think that we should get rid of "-n 0".
Ralf
--
You received this message because you are subscribed to the G
Hi,
I can reproduce this error on Fedora 36 desktop.
Just to make sure, did you build fricas in desktop or in (remote) console?
I assume you are building under desktop and you can see the drawings popup.
But that is not expected.
As you can see in the log, there's possible memory fault (double f