[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Rename `eww' to `web'
From: |
Richard Stallman |
Subject: |
Re: Rename `eww' to `web' |
Date: |
Thu, 04 Jul 2013 14:49:06 -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.
Years ago, I had a real problem remembering M-x ielm. Because I only used
this command occasionally, I was never able to remember it.
I never remember ielm, and when I see that name, I have no idea what
it does. I recall I looked it up once, perhaps a year ago, but
nothing stuck. I had to look it up again now.
`ielm' might be a good file name prefix, if this had multiple files.
A prefix needs to be short. But the package should have a natural
name for users.
One thing I don't understand is why this is better than the *scratch*
buffer and Lisp Interaction Mode. What are the advantages of ielm?
Should the *scratch* buffer be implemented by ielm? Or would that
have some drawback?
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use Ekiga or an ordinary phone call.
- Re: Rename `eww' to `web', (continued)
- Re: Rename `eww' to `web', Tim Cross, 2013/07/03
- RE: Rename `eww' to `web', Drew Adams, 2013/07/03
- Re: Rename `eww' to `web', Ted Zlatanov, 2013/07/03
- Re: Rename `eww' to `web', chad, 2013/07/03
- Re: Rename `eww' to `web', Stephen J. Turnbull, 2013/07/04
- Re: Rename `eww' to `web', Ted Zlatanov, 2013/07/04
- Re: Rename `eww' to `web', Richard Stallman, 2013/07/04
- RE: Rename `eww' to `web', Drew Adams, 2013/07/03
- Re: Rename `eww' to `web', Richard Stallman, 2013/07/04
- Re: Rename `eww' to `web', Jambunathan K, 2013/07/04
- Re: Rename `eww' to `web',
Richard Stallman <=
- Re: Rename `eww' to `web', Pascal J. Bourguignon, 2013/07/04
- Re: Rename `eww' to `web', Mathias Dahl, 2013/07/04
- RE: Rename `eww' to `web', Drew Adams, 2013/07/04
- Re: Rename `eww' to `web', Jambunathan K, 2013/07/04
- Re: Rename `eww' to `web', Xue Fuqiao, 2013/07/04
- Re: Rename `eww' to `web', Juri Linkov, 2013/07/04
- Re: Rename `eww' to `web', Xue Fuqiao, 2013/07/05
- Re: Rename `eww' to `web', Juri Linkov, 2013/07/05
- Re: Rename `eww' to `web', Xue Fuqiao, 2013/07/05
- Re: Rename `eww' to `web', Glenn Morris, 2013/07/04