Le dim. 2 mai 2021 à 21:13, Waldek Hebisch <[email protected]> a écrit : > > 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.
Oh! I'll take a look! > > 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. -- 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/CAHnU2da0Aiqm2UX9K6UjvctzhPuboRVpROG9mdqUSX6BkLku6g%40mail.gmail.com.
