GNU bug report logs - #71179
[PATCH] In rgrep, check matching files before excluding files

Previous Next

Full log

View this message in rfc822 format

From: Dmitry Gutov <dmitry <at> gutov.dev>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: sbaugh <at> janestreet.com, 71179 <at> debbugs.gnu.org
Subject: bug#71179: [PATCH] In rgrep, check matching files before excluding files
Date: Sat, 25 May 2024 16:58:44 +0300

On 25/05/2024 16:45, Eli Zaretskii wrote:
>> Date: Sat, 25 May 2024 16:03:00 +0300
>> Cc:sbaugh <at> janestreet.com,71179 <at> debbugs.gnu.org
>> From: Dmitry Gutov<dmitry <at> gutov.dev>
>>
>>>> Can you think of a specific problematic usage?
>>> Why is that needed?  Isn't it clear that it can happen?
>> Provided we do add an option, knowing the actual audience could help
>> name it better and document it better.
>>
>> But so far the audience I can think of is the very rare people who
>> misused the template's customization. And those can use an existing option.
> We cannot break user's existing setups, even if we consider them
> "rare".

"rare" is an estimation - so far we don't have even one example of a 
user who does this.

And we do break existing setups from time to time, usually with good 
reasons (but those are in the eye of the beholder). We weigh the tradeoffs.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.