bug#19998: GREP_OPTIONS alternative?

2015-03-04 Thread Christian Kujau
Hi, much to my dismay I noticed that GREP_OPTIONS has been made obsolete. I usually kept the following in my .profile: export GREP_OPTIONS='--color=tty --devices=skip' which was honored by GNU/grep and BSD/grep and ignored by e.g SUNWcsu/grep. Without GREP_OPTIONS, I have to put something li

bug#20003: Confusing developer web pages for GNU Grep

2015-03-04 Thread sur-behoffski
G'day, I notice that there is a page, "Information for GNU grep developers", at http://www.gnu.org/software/grep/devel.html This page is out of date in some areas (e.g. talks about "2.5.1a" as the latest stable release, and describes CVS as the source control program, not Git). You can rea

bug#19998: GREP_OPTIONS alternative?

2015-03-04 Thread Paul Eggert
On 03/03/2015 09:55 PM, Christian Kujau wrote: what's the alternative to have some nice grep defaults and still be portable across platforms? You can put a script like this in $HOME/bin: #! /bin/sh export PATH=/usr/bin exec grep --color=auto --devices=skip "$@" and then prepend $HOME/bin to y

bug#19998: GREP_OPTIONS alternative?

2015-03-04 Thread Christian Kujau
On Wed, 4 Mar 2015 at 14:43, Paul Eggert wrote: > You can put a script like this in $HOME/bin: > > #! /bin/sh > export PATH=/usr/bin > exec grep --color=auto --devices=skip "$@" > > and then prepend $HOME/bin to your PATH. Well, and I'd have to do this for every *grep variant, so instead of cre

bug#19998: GREP_OPTIONS alternative?

2015-03-04 Thread Paul Eggert
Christian Kujau wrote: I'd have to do this for every *grep variant No, not if the other variants invoke 'grep'.