From: Philip Oakley <philipoakley@iee.email>
To: Paul Jackson <mailnew4ster@gmail.com>,
Matheus Tavares <matheus.bernardino@usp.br>
Cc: git@vger.kernel.org
Subject: Re: gitignore + commit with excludes = bug
Date: Mon, 10 May 2021 17:20:19 +0100 [thread overview]
Message-ID: <cb6c20cf-6461-3ef6-7a2e-cb98b7b05b1f@iee.email> (raw)
In-Reply-To: <CAGKR6vLqXpdSr_boKR_V5SMqkACt9BSBa2UA6rW46GvcymjXtg@mail.gmail.com>
On 09/05/2021 07:21, Paul Jackson wrote:
> Thanks, I hope it gets merged at some point.
Are you able to pull it together as a formal patch, with a suitable
commit message, so that it can be reviewed and merged?
Philip
>
> On Tue, May 4, 2021 at 5:07 PM Matheus Tavares
> <matheus.bernardino@usp.br> wrote:
>> Hi, Paul and Philip
>>
>> On Tue, May 4, 2021 at 9:55 AM Philip Oakley <philipoakley@iee.email> wrote:
>>> Hi Paul,
>>>
>>> On 01/05/2021 19:37, Paul Jackson wrote:
>>>> Hello,
>>>>
>>>> I stumbled upon what I believe is a bug in git.
>>>> See the following reproduction steps:
>>>>
>>>> mkdir test
>>>> cd test
>>>> git init
>>>> echo 1 > ignored
>>>> echo 1 > not-ignored
>>>> echo ignored > .gitignore
>>>> git add -A -- ':!ignored' || echo 'ERROR!!!'
>>>>
>>>> In these steps, I ignore the "ignored" file twice - first time in
>>>> .gitignore, and second time in the "git add" command. I didn't expect
>>>> this to be a problem, but I'm getting the following error message:
>>>>
>>>> The following paths are ignored by one of your .gitignore files:
>>>> ignored
>>>>
>>>> It looks as if git thinks I wanted to include, not exclude "ignored"
>>>> in "git add".
>>> I was intrigued by this. The man pages can be hard to decipher, and it
>>> may be an 'as designed' feature, but still not intuitive
>>>
>>> It took a while to find the relevant parts of the man pages.
>>>
>>> The `-A` option of `add` is under
>>> https://git-scm.com/docs/git-add#Documentation/git-add.txt---no-ignore-removal
>>> which has caveats for whether a pathspec is given.
>>>
>>> The `exclude` magic pathspec is under
>>> https://git-scm.com/docs/gitglossary#Documentation/gitglossary.txt-exclude
>>> and again has caveats and a double negative regarding whether the
>>> `exclude` pathspec counts as a path spec.
>>>
>>> I _think_ that it is saying that the `exclude` pathspec is ignored for
>>> the purpose of the `-A` (all) condition for git add.
>> Hmm, I think the issue is not really related to `-A`. In fact, if we
>> reproduce Paul's original example without `-A`, we still get the
>> warning.
>>
>> The problem seems to be at `dir.c:exclude_matches_pathspec()`, which
>> creates the list of ignored files that is later used by `git add` to
>> presented the "The following paths are ignored..." warning.
>>
>> This function ignores the `exclude` magic, so a path 'x' incorrectly
>> matches both ':x' and ':!x'. And thus, we end up warning the user about
>> 'x' being ignored even when the user had ran `git add ':!x'`.
>>
>> I think something like this, might solve the problem:
>>
>> diff --git a/dir.c b/dir.c
>> index 3474e67e8f..165ca6a543 100644
>> --- a/dir.c
>> +++ b/dir.c
>> @@ -2042,6 +2042,25 @@ static int exclude_matches_pathspec(const char *path, int pathlen,
>> const struct pathspec_item *item = &pathspec->items[i];
>> int len = item->nowildcard_len;
>>
>> + if (!(item->magic & PATHSPEC_EXCLUDE))
>> + continue;
>> +
>> + if (len == pathlen &&
>> + !ps_strncmp(item, item->match, path, pathlen))
>> + return 0;
>> + if (len > pathlen &&
>> + item->match[pathlen] == '/' &&
>> + !ps_strncmp(item, item->match, path, pathlen))
>> + return 0;
>> + }
>> +
>> + for (i = 0; i < pathspec->nr; i++) {
>> + const struct pathspec_item *item = &pathspec->items[i];
>> + int len = item->nowildcard_len;
>> +
>> + if (item->magic & PATHSPEC_EXCLUDE)
>> + continue;
>> +
>> if (len == pathlen &&
>> !ps_strncmp(item, item->match, path, pathlen))
>> return 1;
>> ---
>>
>> I had to split the original loop into two and handle the `exclude`
>> pathspecs first because we cannot let the original loop return early
>> when one of the `non-exclude` pathspecs matches the path. Otherwise, we
>> would still incorrectly warn the user on executions like
>> `git add ignored ':!ignored'`.
>>
>> (We might also want to extract the matching part to its own function to
>> avoid repeating this code on the two loops.)
next prev parent reply other threads:[~2021-05-10 16:20 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-01 18:37 gitignore + commit with excludes = bug Paul Jackson
2021-05-04 12:55 ` Philip Oakley
2021-05-04 14:06 ` Matheus Tavares
2021-05-09 6:21 ` Paul Jackson
2021-05-10 16:20 ` Philip Oakley [this message]
2021-05-10 19:27 ` Elijah Newren
2021-05-10 19:37 ` Matheus Tavares Bernardino
2021-05-10 22:34 ` Elijah Newren
2021-05-11 2:23 ` Matheus Tavares Bernardino
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: http://vger.kernel.org/majordomo-info.html
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cb6c20cf-6461-3ef6-7a2e-cb98b7b05b1f@iee.email \
--to=philipoakley@iee.email \
--cc=git@vger.kernel.org \
--cc=mailnew4ster@gmail.com \
--cc=matheus.bernardino@usp.br \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://80x24.org/mirrors/git.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).