Subject: Re: bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization

From: Dmitry Gutov <[email-masked]>
Date: Thu, 11 Jun 2020 01:14:20 +0300

On 11.06.2020 00:52, Juri Linkov wrote:
> In the long run what should be customizable is not escape sequences,
> but a choice of the grep program with a list of such options:
> 
>    "GNU grep"
>    "ripgrep"
>    ...

That could simply be done by adding :tag to each option value, right?