Hello Qian, Le sam. 15 juin 2024 à 02:31, Qian Yun <[email protected]> a écrit :
> > > On 6/14/24 22:31, Grégory Vanuxem wrote: > > Hello, > > > > FriCAS just cloned, commit (1b5c139) and installed with > > --prefix=/home/user/.local > > > > Looking at the different output modes in FriCAS, I tried the > > showeditor option, output from ')show' in an editor. > > > > GVim: > > > > (1) -> )sh SINT > > Unable to open directory to be removed > > rmdir failed: Not a directory > > Unable to open directory to be removed > > rmdir failed: Not a directory > > (1) -> > > It's removing "SHOW.LISTING". It should be rm instead of rmdir. > > > Directly two empty gvim (gvim is not supported, I know). > > gvim should be supported, see bellow. > > > With export FRICASEDITOR=emacs > > The documentation for ')help edit' is wrong, you should set like this: > > export FRICASEDITOR='emacs $name' > Ok, I forgot this. I postponed looking deeper into this, for example i-syscmd.boot, thanks for looking at it. By the way, I had a remaining open xterm with less open in it several hours ago with no FriCAS opened. Latest FriCAS version (with your last patch, closing hyperdoc if started with )hd). I don't know if this is related to HyperDoc. I will look at how to reproduce it, from hyperdoc or )set out showeditor. I opened some xterm-s with the two methods. > > > BTW: do you happen to know a very simple graphical text editor, with > > very few libraries needed, compatible. Opening something with a 14'' > > laptop in an xterm becomes illisible to (too small fonts by default > > and not very practical). Using Windows has some goodness... I have no > > Linux desktop environment and I do not need one in WSL. > > > > Like I said above, gvim or emacs or another GUI text editor should work, > the key is to include '$name' in FRICASEDITOR. > Yes, that's good, thanks again! I will be able to use gvim or emacs. I still do not understand why, with the eventually absent file because of bad parameters, editors/viewers are opened two times. > > On the other hand, you can config xterm to use bigger fonts, so that > 'less' can be shown with bigger fonts. > Yes, it is possible I did it in the past but for me it was always a relative mess since a long time to choose good fonts, 10646 or no, 75 dpi or 100 dpi and more. - 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZzy7AkbKyw3uuU3yg4HN6qHvB89JwVTsRPJdka2AA5ZQ%40mail.gmail.com.
