Subject: Re: bug#59888: [PATCH] Add 'grep-heading-mode'

From: Eli Zaretskii <[email-masked]>
Date: Wed, 07 Dec 2022 20:14:06 +0200

> From: Augusto Stoffel <[email-masked]>
> Date: Wed, 07 Dec 2022 18:57:37 +0100
> 
> +(defcustom grep-heading-regexp
> +  (rx bol
> +      (or
> +       (seq "Grep" (* (any "/a-zA-Z")) " "
> +            (or "started" "finished" "exited" "interrupt" "killed" "terminated")

Cannot these be translated to languages other than English in
localized versions of Grep?

> 2. One could get rid of the awkward first alternative of
>    `grep-heading-regexp' if there was a way to distringuish the grep
>    process output from the header and footer added by grep-mode.

You could put a special text property on the latter, no?