[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59888: [PATCH] Add 'grep-heading-mode'
From: |
Mattias Engdegård |
Subject: |
bug#59888: [PATCH] Add 'grep-heading-mode' |
Date: |
Thu, 8 Dec 2022 11:48:13 +0100 |
8 dec. 2022 kl. 11.28 skrev Augusto Stoffel <arstoffel@gmail.com>:
>> Very much prefer `nonl` or `not-newline` to `any`, which is only there for
>> compatibility (shouldn't have been included in the first place).
>
> Hum, not-newline is too long, so this leaves an option between the
> slightly deceiving and the quite obscure.
Actually `nonl` isn't too bad once you get used to it. Pronounce it 'nonnel',
stress on the first syllable.
> Okay, now I see `any' is not even documented.
Yes, it was inherited from the defunct `sregex` package, in hindsight a clear
mistake.
- bug#59888: [PATCH] Add 'grep-use-headings', (continued)
- bug#59888: [PATCH] Add 'grep-use-headings', Eli Zaretskii, 2022/12/09
- 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', 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
bug#59888: [PATCH] Add 'grep-heading-mode', Juri Linkov, 2022/12/09