[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, 10 Oct 2022 18:03:28 -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. ]]]
> Whatever the default is, the user will need the easy ability to select
> which functionality is provided by which package.
I won't argue against that. But I suggest that the best conceptual
organization for this would have these two levels:
1. A control to enable or disable the functionality.
2. Various ways to specify preference of back end for various parts of it.
I suggest that #1 be simple, as lots of people will want to enable the
functionality, and that we put the complexity into #2 since it would
be used by more sophisticated users to make more sophisticated
choices.
--
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?, Stefan Monnier, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Theodor Thornhill, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?,
Richard Stallman <=
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Felician Nemeth, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Felician Nemeth, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/09
- 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?, Richard Stallman, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Yuan Fu, 2022/10/12