GNU bug report logs - #29778
grep seems to ignore GREP_OPTIONS

Previous Next

Package: grep;

Reported by: Dennis <grep+user <at> mgssub.com>

Date: Wed, 20 Dec 2017 04:56:02 UTC

Severity: normal

Tags: unreproducible

Merged with 29354

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

Bug is archived. No further changes may be made.

Full log

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

From: Dennis <grep+user <at> mgssub.com>
To: Grep Bugs <bug-grep <at> gnu.org>
Subject: grep seems to ignore GREP_OPTIONS
Date: Tue, 19 Dec 2017 20:29:20 -0600

For a long time I have used GREP_OPTIONS to set the
--ignore-case option. Suddenly it seems to be ignoring it.

I am running Debian Jessie and grep 2.20
This bug report was last modified 5 years and 144 days ago.

Previous Next

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