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: Paul Eggert <eggert <at> cs.ucla.edu>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#37907: closed (--no-ignore-case option)
Date: Tue, 05 Nov 2019 23:39:03 +0000

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

Your message dated Tue, 5 Nov 2019 15:38:12 -0800
with message-id <bcc2cb44-51c9-8f13-3e57-3d12c4f18fc0 <at> cs.ucla.edu>
and subject line Re: bug#37907: --no-ignore-case option
has caused the debbugs.gnu.org bug report #37907,
regarding --no-ignore-case option
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> 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: 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

[Message part 3 (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 4 (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)]

Previous Next

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