bug#29354: closed (GREP_OPTIONS not processed)

[GNU bug Tracking System]

Your message dated Tue, 31 Dec 2019 12:02:34 -0800
with message-id <address@hidden>
and subject line Re: GREP_OPTIONS not processed
has caused the debbugs.gnu.org bug report #29354,
regarding GREP_OPTIONS not processed
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
29354: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29354
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> GREP_OPTIONS not processed
>
>
>
>
> Date: 
>
> Sat, 18 Nov 2017 17:55:47 -0600
>
>
>
>
> Running grep 2.20 on Debian Jessie.
>
> Apparently grep is not processing the GREP_OPTIONS
> environment variable. I have been setting the "-i" option in
> there for years as that is the most useful for me. Lately it
> has not been working. I have done many tests and it seems
> that GREP_OPTIONS is completely ignored.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: GREP_OPTIONS not processed
>
>
>
>
> Date: 
>
> Tue, 31 Dec 2019 12:02:34 -0800
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2
>
>
>
>
> No further comment on this bug report for two years, and I still cannot
> reproduce it. Closing the bug report.
>
>
> --- End Message ---