Let me add, wouldn't it be better to modify at least the line: src/lisp/do_it.sbcl to src/lisp/do_it.*
After all, FriCAS is buildable on other Lisp implementations. No addition. __ Greg Le dim. 24 sept. 2023 à 23:48, Grégory Vanuxem <g.vanu...@gmail.com> a écrit : > > Frankly speaking , to be consistent, the only thing to take in it is > '*.output'. > > It's my mistake, shame on me, I quickly sent the diff because I was working > on a new Git management environment and that with other successful things > made me overly enthusiastic. > > I should have only evoked *.output. > > Le dim. 24 sept. 2023, 21:34, Waldek Hebisch <de...@fricas.org> a écrit : > > > > On Sun, Sep 24, 2023 at 07:14:53PM +0200, Grégory Vanuxem wrote: > > > Hello, > > > > > > I'm setting up a new more general Git management environment on my > > > machine and looking at the FriCAS vanilla .gitignore file, I allowed > > > myself to send here a diff with the one I use. I just did two > > > additions today to the one I use. It could be of interest even if some > > > stuff will not suit all needs. > > > > To say the truth, I would prefer to keep .gitignore as small as > > possible. IIUC .gitignore plays role when commiting changes. > > At that time git remainds about possibly forgotten files. > > When using separate build directory there should be almost > > no trash in repository, so not much need to ignore things. > > OTOH too wide ignore pattern may lead to missing files during > > commit. > > > > -- > > 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 fricas-devel+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/fricas-devel/ZRCPP1GCzffnBnBF%40fricas.org. > > __ > 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbdWa-rqWspCtBky5zFrxWLksqpGZ9DopKzk%3D9P47NXuw%40mail.gmail.com.
