[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:00:40 -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. ]]]
> FWIW, let me mention that i absolutely agree with you, for essentially
> the same reasons as you, and also:
> - using a search engine to get help about something not working for
> 'eglot' is much easier than any of the "discoverable" alternatives;
We should try harder to find clearer alternatives to consider, before
conclusing it can't be done.
> - original names are part of the joy of programming,
There is plenty of other scope for that. Certain aspects
of the user interface are important for users, and we need to
give that priority.
--
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?, 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, 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 <=
- 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
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03