bug-grep
[Top][All Lists]
Advanced

[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 
page](http://www.tldp.org/LDP/abs/html/intandnonint.html).

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:

https://www.gnu.org/prep/standards/html_node/User-Interfaces.html

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






reply via email to

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