[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59888: [PATCH] Add 'grep-use-headings'
From: |
Eli Zaretskii |
Subject: |
bug#59888: [PATCH] Add 'grep-use-headings' |
Date: |
Fri, 09 Dec 2022 21:36:28 +0200 |
> From: Augusto Stoffel <arstoffel@gmail.com>
> Cc: Stefan Kangas <stefankangas@gmail.com>, 59888@debbugs.gnu.org, Eli
> Zaretskii <eliz@gnu.org>, Lars Ingebrigtsen <larsi@gnus.org>
> Date: Fri, 09 Dec 2022 13:18:02 +0100
>
> As discussed before, I introduced a text property so that one can tell
> without guessing which parts of the compilation buffer are not coming
> from the external process. This seems to supersede the
> 'compilation-header-end' property introduced by Lars in commit
> 07f748da43, so I replaced its uses by the new 'compilation-aside'
> property. I could easily revert that, but it seemed reasonable to
> uniformize things in this case.
Thanks, but please find a better name for this property. Something
like compilation-meta-data, perhaps?
> --- a/etc/NEWS
> +++ b/etc/NEWS
> @@ -41,6 +41,14 @@ connection.
>
> * Changes in Specialized Modes and Packages in Emacs 30.1
>
> +** Compile
> +
> +*** New user option 'grep-use-headings'.
> +When non-nil, the grep output is split into sections, one for each
^^^^
"Grep", capitalized. Or maybe even "the output of Grep".
> +file, instead of having file names prefixed to each line. It is
> +equivalent to the --heading option of some tools such as 'git grep'
> +and 'rg.
^^^
'rg'
- bug#59888: [PATCH] Add 'grep-heading-mode', Augusto Stoffel, 2022/12/07
- bug#59888: [PATCH] Add 'grep-heading-mode', Eli Zaretskii, 2022/12/07
- bug#59888: [PATCH] Add 'grep-heading-mode', Stefan Kangas, 2022/12/07
- bug#59888: [PATCH] Add 'grep-heading-mode', Augusto Stoffel, 2022/12/08
- bug#59888: [PATCH] Add 'grep-heading-mode', Juri Linkov, 2022/12/09
- bug#59888: [PATCH] Add 'grep-heading-mode', Augusto Stoffel, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings',
Eli Zaretskii <=
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Eli Zaretskii, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/10
- bug#59888: [PATCH] Add 'grep-use-headings', Eli Zaretskii, 2022/12/10
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/11
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2022/12/15
- bug#59888: [PATCH] Add 'grep-use-headings', Gregory Heytings, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2022/12/10
bug#59888: [PATCH] Add 'grep-heading-mode', Mattias EngdegÄrd, 2022/12/08