--- Begin Message ---
Subject: |
--no-ignore-case option |
Date: |
Thu, 24 Oct 2019 12:26:10 -0600 |
I suggest adding --no-ignore-case to clear the case-insensitivity -i
search. I, and surely many others, have an alias or script that runs
grep with -i by default, along with other options (since GREP_OPTIONS
was killed). It would be highly convenient to be able to add
--no-ignore-case on the fly to the rare-in-my-experience invocations
where case sensitivity is desired.
(Also, just in principle, it seems like any boolean option should be
switchable by successive options. But I won't go that far.)
Besides, since I'm not sending a patch (sorry), my expectation is that
there will never be enough time to implement random minor suggestions
like this, so it doesn't matter :).
Thanks,
Karl
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#37907: --no-ignore-case option |
Date: |
Tue, 5 Nov 2019 15:38:12 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.1.1 |
On 10/24/19 1:40 PM, address@hidden wrote:
I chose '-g' since that letter was unused. It has no mnemonic value.
Thanks for implementing that. Other grep-like programs tend to use -I
for this option, since it negates -i. Obviously we can't do that right
now since -I means --binary-files=without-match to GNU grep. So I
installed the attached, which takes the more-conservative approach of
implementing just --no-ignore-case without any single-letter option.
Perhaps in the future we could deprecate -I and then eventually
repurpose it? But in the meantime this particular feature request is
done, so I'm taking the liberty of closing the bug report.
0001-grep-new-no-ignore-case-option.patch
Description: Text Data
--- End Message ---