GNU bug report logs - #19998
GREP_OPTIONS alternative?

Previous Next

Full log

View this message in rfc822 format

From: Christian Kujau <lists <at> nerdbynature.de>
To: Paul Eggert <eggert <at> cs.ucla.edu>
Cc: 19998 <at> debbugs.gnu.org
Subject: bug#19998: GREP_OPTIONS alternative?
Date: Wed, 4 Mar 2015 17:04:06 -0800 (PST)

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 
creating different aliases, I'm creating different scripts, which is an 
even greater change :-(

Is there really no other way?

I hope nobody removes PAGER, LESS or HISTCONTROL anytime soon :-\

Christian.
-- 
BOFH excuse #88:

Boss' kid fucked up the machine

Previous Next

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