GNU bug report logs - #37907
--no-ignore-case option

Previous Next

Full log

Message #24 received at 37907-done <at> debbugs.gnu.org (full text, mbox):

From: arnold <at> skeeve.com
To: eggert <at> cs.ucla.edu, arnold <at> skeeve.com
Cc: 37907-done <at> debbugs.gnu.org, karl <at> freefriends.org
Subject: Re: bug#37907: --no-ignore-case option
Date: Wed, 06 Nov 2019 03:35:35 -0700

Paul Eggert <eggert <at> cs.ucla.edu> wrote:

> On 10/24/19 1:40 PM, arnold <at> skeeve.com 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.