[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37907: --no-ignore-case option
From: |
arnold |
Subject: |
bug#37907: --no-ignore-case option |
Date: |
Wed, 06 Nov 2019 03:35:35 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Paul Eggert <address@hidden> wrote:
> 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.
Much thanks, Paul.
Karl --- Enjoy! :-)
Arnold