[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: `xterm-mouse-mode' has a bogus Custom group
From: |
David Kastrup |
Subject: |
Re: `xterm-mouse-mode' has a bogus Custom group |
Date: |
Thu, 07 Apr 2005 01:22:08 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> The console clearly is exclusively a feature of the kernel.
>
> The console is implemented by the kernel, but you use it to log in
> to the whole system.
There are embedded Linux systems that are most definitely not GNU, and
for example the system at <URL:http://www.skarnet.org/poweredby.html>
runs Linux, but not the GNU system.
> Thus, both "Linux console" and "GNU/Linux console" are justifiable.
>
> If we call it the "Linux console", everyone who isn't a wizard will
> misunderstand and think it refers to the "Linux operating system".
> The only way to avoid promoting this misunderstanding is to call it
> the "GNU/Linux console".
We can't demand correctness from others with regard to GNU/Linux that
we are not willing to provide ourselves.
> Neither name is perfectly right, so my decision is to use the one
> that doesn't hurt the GNU project.
In my opinion that should be the one that does not expose us as
hypocrites: that hurts more than anything else could... I already
proposed a wording that would make clear that we are talking about the
kernel here.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/01
- `xterm-mouse-mode' has a bogus Custom group, Nick Roberts, 2005/04/02
- Re: `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/02
- Re: `xterm-mouse-mode' has a bogus Custom group, Nick Roberts, 2005/04/05
- Re: `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/05
- Re: `xterm-mouse-mode' has a bogus Custom group, David Kastrup, 2005/04/05
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/06
- Re: `xterm-mouse-mode' has a bogus Custom group,
David Kastrup <=
- Re: `xterm-mouse-mode' has a bogus Custom group, Kim F. Storm, 2005/04/07
- Re: `xterm-mouse-mode' has a bogus Custom group, Han Boetes, 2005/04/07
- Re: `xterm-mouse-mode' has a bogus Custom group, David Kastrup, 2005/04/07
- Re: `xterm-mouse-mode' has a bogus Custom group, Nick Roberts, 2005/04/07
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/07
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/07
- Re: `xterm-mouse-mode' has a bogus Custom group, David Kastrup, 2005/04/08
- Re: `xterm-mouse-mode' has a bogus Custom group, Nick Roberts, 2005/04/05
- Re: `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/06
- Re: `xterm-mouse-mode' has a bogus Custom group, Nick Roberts, 2005/04/07