[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Yuri Khan |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Tue, 4 Oct 2022 08:40:21 +0700 |
On Tue, 4 Oct 2022 at 08:09, Richard Stallman <rms@gnu.org> wrote:
> > Eglot assists programmers. Think tags but better, e.g. not only "jump
> > to symbol" but also "rename symbol". It uses LSP behind the scenes.
>
> I see what you mean. Alas, an explanation at that very general level
> won't help me find a name that distinguishes Eglot from various other
> packages that assist programmers.
The framing of your question, i.e. “describe what Eglot does without
mentioning its name”, pretty much guarantees that any other client
implementation of the language server protocol (LSP) will fit the
description.
And that is the general problem with functionality-based names.
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/14
- Re: Renaming eglot -- or at least add an alias?, Rudolf Adamkovič, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?,
Yuri Khan <=
Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/01
Re: Renaming eglot -- or at least add an alias?, Christopher M. Miles, 2022/10/02
Re: Renaming eglot -- or at least add an alias?, Christopher M. Miles, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Akib Azmain Turja, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07