[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#26205: Unhappy with deprecating GREP_OPTIONS

From: Paul Eggert
Subject: bug#26205: Unhappy with deprecating GREP_OPTIONS
Date: Tue, 7 Nov 2017 15:58:32 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0

On 11/07/2017 01:00 PM, Ankeet wrote:
grep should test for an interactive shell before parsing GREP_OPTIONS. [There 
are a number of methods outlined in the man 

Most of those methods would not work for grep, which is not a shell script. The only exception (testing whether stdin is a terminal) would run afoul of the GNU coding standards, which say that the behavior of a program should not depend on whether standard input or output is a terminal device. See:


Although we stretch those rules occasionally, stretching does not seem advisable here.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]