[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Eli Zaretskii |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Wed, 12 Oct 2022 16:25:06 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: Lars Ingebrigtsen <larsi@gnus.org>, Manuel Uberti
> <manuel.uberti@inventati.org>, João Távora
> <joaotavora@gmail.com>, Philip Kaludercic <philipk@posteo.net>, Tim Cross
> <theophilusx@gmail.com>, emacs-devel@gnu.org, Richard Stallman
> <rms@gnu.org>
> Date: Wed, 12 Oct 2022 19:55:09 +0800
>
> FWIW if the maintainers think Eglot is okay as a name, then I'm fine
> with leaving the name as-is.
>
> My problem is searching "language server" in custom gives nothing of
> value, while it probably should.
In what customs did you search, and in which codebase?
Eglot was not yet landed on master, so how exactly this will look in
Emacs cannot be determined as yet. But if, after it lands, you see
problems with discoverability, by all means report a documentation
bug.
- Re: Renaming eglot -- or at least add an alias?, (continued)
- 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, 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 <=
- 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
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/03