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

Previous Next

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