[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The name gnus-cloud.el
From: |
Richard Stallman |
Subject: |
Re: The name gnus-cloud.el |
Date: |
Tue, 26 Dec 2017 14:40:51 -0500 |
[[[ 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. ]]]
I'll agree to this solution to avoid the inconvenience of renaming the
file. Thanks for writing it -- you've expressed the point well.
I expressed unhappiness with the name when it was first proposed, but
we didn't settle the issue then. It was proposed to "install it
first, then choose the name," and that's what happened.
In principle, it's ok to proceed that way, but it requires renaming a
file. Since renaming an installed file is inconvenient, from now on
let's make sure to settle all issues about names of files before
installing them.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.
- Re: The name gnus-cloud.el, (continued)
- Re: The name gnus-cloud.el, Richard Stallman, 2017/12/21
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/21
- Re: The name gnus-cloud.el, Richard Stallman, 2017/12/22
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/22
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/22
- Re: The name gnus-cloud.el, Richard Stallman, 2017/12/23
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/23
- Re: The name gnus-cloud.el, Richard Stallman, 2017/12/24
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/25
- Re: The name gnus-cloud.el, Paul Eggert, 2017/12/25
- Re: The name gnus-cloud.el,
Richard Stallman <=
- Re: The name gnus-cloud.el, Richard Stallman, 2017/12/24
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/25
- Re: The name gnus-cloud.el, Steinar Bang, 2017/12/31
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/31
- Re: The name gnus-cloud.el, Óscar Fuentes, 2017/12/31
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/31
- Re: The name gnus-cloud.el, Steinar Bang, 2017/12/31
- Re: The name gnus-cloud.el, Eli Zaretskii, 2017/12/31
- Re: The name gnus-cloud.el, Andreas Schwab, 2017/12/31
- Re: The name gnus-cloud.el, Steinar Bang, 2017/12/31