[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: |
Thu, 06 Oct 2022 18:09:12 -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. ]]]
> Seeing that eglot would still keep it's original name, there is little
> to no reason to make up a name on the spot, and stop or hinder Eli
> from going forward working on the next release.
If we include the package in the Emacs 29 release, that will call for
mentioning it in many places in documentation for users -- the places
that document the features it enhances.
Even if its own source code still carries the name "Eglot", those
improvements in documenation should carry the clearer name.
And a few places in the code should use the other name.
So we have a reason to finish this now.
--
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?, Richard Stallman, 2022/10/06
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/06
- Re: Renaming eglot -- or at least add an alias?, Jose A. Ortega Ruiz, 2022/10/06
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 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?, Alfred M. Szmidt, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?,
Richard Stallman <=
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Emanuel Berg, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/07