Re: build/ .gitignore pattern matches files in repo

[David Kastrup]

David Kastrup <address@hidden> writes:

>> Currently, the top level .gitignore (of LilyPond's repository) contains this
>> pattern:
>>
>> build/
>>
>> I found no pattern negating this, in any .gitignore file (at any directory
>> level).
>>
>> Currently, the repository on the server contains files (see below) which
>> match this pattern. Because of this, Git will ignore changes to those files.
>
> I think this is most likely an oversight.
>
> Reading "man gitignore" shows that "build" should work, but maybe
> "/build/" is more explicit.  The alternative is that we find a new name
> for scripts/build.  But it is rather descriptive.  Which is exactly the
> reason build in the top directory is descriptive for the build process
> as well.
>
> I'll do some experiments and submit a patch, likely using /build/ as
> pattern.

git check-ignore does not appear to see this as a problem.

-- 
David Kastrup