Re: [fricas-devel] Re: I get an when trying to make Fricas

2022-10-28 Thread Agnelo De Araujo
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

Re: [fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread Ralf Hemmecke
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

Re: [fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread Agnelo De Araujo
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

[fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread Agnelo De Araujo
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

Re: [fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread Ralf Hemmecke
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

Re: [fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread Qian Yun
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

Re: [fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread Ralf Hemmecke
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

[fricas-devel] Re: I get an when trying to make Fricas

2022-10-27 Thread oldk1331
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