|
From: | Marc Nieper-Wißkirchen |
Subject: | Re: Autogenerated header files not included in .gitignore |
Date: | Sat, 3 Apr 2021 12:18:44 +0200 |
Hi Marc,
> If Gnulib is going to be extended to support the second option as well
That's what I'm suggesting, because the second way to manage files appears
to be the majority one.
> I am not yet sure how. The problem is that the same source tree would have to
> support both options to support both kinds of developers.
No, when .gitignore lists all built files, this holds for all developers.
In a project where some developers want the first approach and some want
the second one, the built files need to be listed in the .git/info/exclude
file, not in .gitignore. But since .git/info/exclude is not shared among
developers, it is tedious for every developer to maintain their own
.git/info/exclude list. Therefore I don't think this "mixed" model is
widely used.
[Prev in Thread] | Current Thread | [Next in Thread] |