[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Richard Stallman |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Mon, 03 Oct 2022 21:03:37 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> 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.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/02
- 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 <=
- Re: Renaming eglot -- or at least add an alias?, Yuri Khan, 2022/10/03
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