|
| From: | Dmitry Gutov |
| Subject: | bug#71179: [PATCH] In rgrep, check matching files before excluding files |
| Date: | Sat, 25 May 2024 17:51:11 +0300 |
| User-agent: | Mozilla Thunderbird |
On 25/05/2024 17:13, Eli Zaretskii wrote:
For example, you never considered the cases where the files which match the pattern to search also match the ignored-extensions, and many other possibilities. In that case the file will not be searched, same as before this change. No behavior change.We are talking about performance here.
FWIW I don't see which performance problem you have in mind.If you mean the possible regression in the case "user picked file extension that's already in ignores", then I don't think it's going to be any noticeably slower in vast majority of cases. And it's not a scenario to optimize for anyway.
| [Prev in Thread] | Current Thread | [Next in Thread] |