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 <[email protected]> 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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dagwNRwdN9q0%2BpNybRKEHd65jxqpSsN7zOPFdGZA1egmw%40mail.gmail.com.
