0001-doc-give-a-script-wrapper-example.patchDescription: Text Data
|
| From: | Paul Eggert |
| Subject: | bug#19998: GREP_OPTIONS alternative? |
| Date: | Wed, 11 Mar 2015 11:15:59 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 |
On 03/05/2015 11:24 AM, Christian Kujau wrote:
that (and the bits below) seem to confirm that there's no simple alternative to GREP_OPTIONS
I don't see why the script solution is not considered 'simple'. Anyway, it's worth documenting the script alternative, so I installed the attached into the manual and am marking the bug as done.
0001-doc-give-a-script-wrapper-example.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |