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

Previous Next

Package: grep;

Reported by: Karl Berry <karl <at> freefriends.org>

Date: Thu, 24 Oct 2019 18:27:02 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: arnold <at> skeeve.com
To: karl <at> freefriends.org, arnold <at> skeeve.com
Cc: 37907 <at> debbugs.gnu.org
Subject: 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
This bug report was last modified 5 years and 277 days ago.

Previous Next

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