On Sun, May 02, 2021 at 01:13:18PM +0200, Gr??gory Vanuxem wrote: > Hi here, Hi Waldek, > > Waldek, what do you think of allowing, via an user option in command > line arguments > say, '--no-banner', to suppress the banner at startup to better > interface FriCAS to different frontends?
Could be done, simply up to now nobody bothered to implement this. > This could be done for example via the fricas script which sends to FRICASs= > ys > the '--no-banner' parameter and can be extracted in fricas-init routine. > With SBCL this is available in the sb-ext:*posix-argv* variable, other > Common Lisp implementations > are also able to access command line arguments. There are some complications, see 'sman.c' how '-eval' is handled. > For what I have found the essential pieces of code to print this > banner are in fricas-init (util.lisp) > and spadStartUpMsgs (msgdb.boot). Yes. > I can code a proof of concept piece > of code for review if necessary. > > Regards > __ > Greg > > Le ven. 30 avr. 2021 =C3=A0 20:35, Gr=C3=A9gory Vanuxem <[email protected]= > m> a =C3=A9crit : > > > > > > > > Le ven. 30 avr. 2021 =C3=A0 18:51, Ralf Hemmecke <[email protected]> a = > =C3=A9crit : > >> > >> > https://github.com/gvanuxem/fricas-vscode > >> > >> Oh... it seems that you are competing with Peter Broadbery's Intellij > >> plugin. > > > > > > > > We had little discussions with each other and his work is amazing. But th= > ere is a notable distinction. Intellij is an IDE with projects in mind wher= > eas VS Code is a code *editor*. I started some time ago with Atom but Atom = > (like Bill Page experimented I think) is extremely slow to start and not as= > portable as I would like. Personally I want, in a terminal for example, 'c= > ode myfile.thing' an instant startup. VS Code, not as Vim or Emacs of cours= > e, is fast. This is what I like. And moreover a lot of visual things can be= > done. It's MIT licensed and on GitHub so that's attracted me. > >> > >> > >> > >> https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/release-1.3 > >> > >> I appreciate very much that more and more stuff appears that is > >> connected to FriCAS. > >> > >> As for the banner. For the jfricas interface, is simply don't care. > >> There a fricas is started in the background and connected to jfricas. > >> The input string is sent to fricas and fricas returns output that is > >> fenced by > >> > >> --BEG:FORMAT:FormatMathJax:NN > >> ... > >> --END:FORMAT:FormatMathJax:NN > >> > >> https://github.com/fricas/fricas/blob/master/src/algebra/fmtjfricas.spad= > #L75 > >> > >> So the only thing I have to parse is something inside these fences. > >> The banner is simply ignored. > >> > >> No idea whether this may help you. > > > > > > I dislike, actually, having the banner each time I execute several operat= > ions (snippet for example in an input file). > > I would prefer of course a REPL in VS Code but for now... > > > > But that always helps, and in fact mathematical notation Notebook (a litt= > le of Jupyter apparently...) begins to be implemented: > > https://code.visualstudio.com/updates/v1_55 > > (search 'Preview features') > >> > >> > >> > >> In fact, when output for the FriCAS book is generated it simply creates > >> a .spool file with appropriately set stuff before and after the actual > >> output of the commands, so that it becomes easy to separate the relevant > >> output from garbage. > > > > > > I think, for now, with my actual goals, the simpler way is to remove the = > banner. > > > > Greg > > > >> > >> > >> Ralf > >> > >> -- > >> You received this message because you are subscribed to the Google Group= > s "FriCAS - computer algebra system" group. > >> To unsubscribe from this group and stop receiving emails from it, send a= > n email to [email protected]. > >> To view this discussion on the web visit https://groups.google.com/d/msg= > id/fricas-devel/8a45908d-c8af-dfa9-a4e6-98ebff9db33c%40hemmecke.org. > > --=20 > 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 e= > mail to [email protected]. > To view this discussion on the web visit https://groups.google.com/d/msgid/= > fricas-devel/CAHnU2dYH9kvw6ujKm5kr-TJ0DTNCToPZLgeu5j7ciTBqp2xz5w%40mail.gma= > il.com. -- 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/20210502191308.GB32321%40math.uni.wroc.pl.
