[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paul Eggert
Subject: 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.

Attachment: 0001-grep-new-no-ignore-case-option.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]