[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Robert Weiner |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Wed, 12 Oct 2022 07:32:13 -0400 |
I am with Lars and Eli. The name is fine, already widely used and keeping the
release to schedule is much more important.
-- rsw
> On Oct 2, 2022, at 11:09 AM, Lars Ingebrigtsen <larsi@gnus.org> wrote:
>
> 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?, 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, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?,
Robert Weiner <=
- 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
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/03