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

Previous Next

Full log

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)]

Previous Next

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