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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Karl Berry <karl <at> freefriends.org>
Subject: bug#37907: closed (Re: bug#37907: --no-ignore-case option)
Date: Tue, 05 Nov 2019 23:39:04 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#37907: --no-ignore-case option

which was filed against the grep package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 37907 <at> debbugs.gnu.org.

-- 
37907: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37907
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: arnold <at> skeeve.com
Cc: 37907-done <at> debbugs.gnu.org, karl <at> freefriends.org
Subject: Re: bug#37907: --no-ignore-case option
Date: Tue, 5 Nov 2019 15:38:12 -0800

[Message part 3 (text/plain, inline)]

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.

[0001-grep-new-no-ignore-case-option.patch (text/x-patch, attachment)]

[Message part 5 (message/rfc822, inline)]

From: Karl Berry <karl <at> freefriends.org>
To: bug-grep <at> gnu.org
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

Previous Next

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