Eric Blake wrote:
> According to Dagobert Michelsen on 1/28/2010 6:39 AM:
>>>
>>> That's not needed, since zgrep can already accommodate that.
>>> Just set the GREP envvar to the name you happen to use:
>>>
>>>  export GREP=ggrep
>>>
>>> Then, it should "just work".
>>
>> Ok, but this would also move the burden of "fixing" to the enduser,
>> whereas I as packages could take care of it by hardcoding the path
>> with a configure option.
>
> Jim's point is that if you run './configure GREP=ggrep', that should fix
> it at configuration time.

Actually, I was talking about setting it from the user's standpoint,
but if it works via configure, that'd be even better (currently I don't
see such code, though).


Reply via email to