[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41766: Make it possible to change regexp to identify and highlight g
From: |
Simon Lang |
Subject: |
bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization |
Date: |
Tue, 9 Jun 2020 12:41:21 +0000 |
True, I think you're right.
Cheers,
Simon
________________________________________
From: DG <raaahh@gmail.com> on behalf of Dmitry Gutov <dgutov@yandex.ru>
Sent: 09 June 2020 13:15
To: Simon Lang; 41766@debbugs.gnu.org; Juri Linkov
Subject: Re: bug#41766: Make it possible to change regexp to identify and
highlight grep matches via customization
On 09.06.2020 10:58, Simon Lang wrote:
> Pls note that ripgrep knows about ignore files etc.
But not when passed specific file names on the command line, right?
Which is what xargs does.
Sorry, it's a tangent from your patch's discussion. It looks good to me,
but I'd rather defer the review to someone else.
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, (continued)
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Eli Zaretskii, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/09
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization,
Simon Lang <=
bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Eli Zaretskii, 2020/06/09
bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/14