[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Autogenerated header files not included in .gitignore
|
From: |
Bruno Haible |
|
Subject: |
Re: Autogenerated header files not included in .gitignore |
|
Date: |
Sat, 03 Apr 2021 12:05:30 +0200 |
|
User-agent: |
KMail/5.1.3 (Linux/4.4.0-206-generic; KDE/5.18.0; x86_64; ; ) |
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.
Bruno