[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Lars Ingebrigtsen |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Sun, 02 Oct 2022 17:08:16 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Manuel Uberti <manuel.uberti@inventati.org> writes:
> FWIW, because I seem to be in the minority here, I really like the
> name Eglot.
I don't think you are -- many people have weighed in saying they like
the name. It's just that the people that want a change feel the need to
talk more, which is natural.
(Spoiler warning: The name isn't going to change.)
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/01
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/01
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/01
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/01
- Re: Renaming eglot -- or at least add an alias?, Yilkal Argaw, 2022/10/01
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Manuel Uberti, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?,
Lars Ingebrigtsen <=
- Re: Renaming eglot -- or at least add an alias?, Robert Weiner, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Jose A. Ortega Ruiz, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/02