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.