bug#37907: --no-ignore-case option

[Paul Eggert]

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