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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 37907 in the body.
You can then email your comments to 37907 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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 #8 received at 37907 <at> debbugs.gnu.org (full text, mbox):

From: arnold <at> skeeve.com
To: karl <at> freefriends.org, 37907 <at> debbugs.gnu.org
Subject: Re: bug#37907: --no-ignore-case option
Date: Thu, 24 Oct 2019 14:40:26 -0600

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

Hi Karl.

See the attached patch.  Less than 10 minutes' work. :-)

Grep guys - I'm pretty sure I've signed papwerwork for grep. Feel free
to incorporate this patch.

I chose '-g' since that letter was unused. It has no mnemonic value.

Thanks,

Arnold

Karl Berry <karl <at> freefriends.org> wrote:

> 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

[grep.diff (text/plain, attachment)]

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

From: Karl Berry <karl <at> freefriends.org>
To: arnold <at> skeeve.com
Cc: 37907 <at> debbugs.gnu.org
Subject: Re: bug#37907: --no-ignore-case option
Date: Thu, 24 Oct 2019 15:27:58 -0600

    See the attached patch.  Less than 10 minutes' work. :-)

Thanks Arnold!

    Grep guys - I'm pretty sure I've signed papwerwork for grep. 

copyright.list confirms that you have :).

    I chose '-g' since that letter was unused. It has no mnemonic value.

If a one-letter option is going to be used (I thought that might be too
intrusive), I suggest -j, as being next to -i. It's also unused.

Thanks again,
Karl

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

From: arnold <at> skeeve.com
To: karl <at> freefriends.org, arnold <at> skeeve.com
Cc: 37907 <at> debbugs.gnu.org
Subject: Re: bug#37907: --no-ignore-case option
Date: Thu, 24 Oct 2019 15:41:58 -0600

Karl Berry <karl <at> freefriends.org> wrote:

>     See the attached patch.  Less than 10 minutes' work. :-)
>
> Thanks Arnold!

You're welcome.

>     I chose '-g' since that letter was unused. It has no mnemonic value.
>
> If a one-letter option is going to be used (I thought that might be too
> intrusive), I suggest -j, as being next to -i. It's also unused.

I have no objection.

Thanks,

Arnold

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

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 1 (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 #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.