[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: |
Wed, 06 Apr 2005 10:22:42 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> > The GNU/Linux console currently does not appear to support
> > `xterm-mouse-mode'.
>
> I think this should just say Linux console although I don't
> really understand where the kernel ends and the operating system
> begins.
>
> Neither "Linux console" nor "GNU/Linux console" is incorrect.
> We want to make people aware that the system is not Linux,
> so we say "GNU/Linux console".
The console is exclusively Linux and has nothing to do with GNU
whatsoever. Our main argument for the "GNU/Linux" moniker is the
correct attribution of credit and use of terminology, so it undermines
our case if we muddy the distinction ourselves.
If you want to have the choice of words appear more deliberate, this
can be written as:
"The text consoles of the Linux kernel currently do not support..."
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: `xterm-mouse-mode' has a bogus Custom group, (continued)
- Re: `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/11
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/12
- Re: `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/12
- Re: `xterm-mouse-mode' has a bogus Custom group, David Kastrup, 2005/04/12
- Re: `xterm-mouse-mode' has a bogus Custom group, Luc Teirlinck, 2005/04/12
- Re: `xterm-mouse-mode' has a bogus Custom group, Stefan Monnier, 2005/04/12
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/13
- Re: `xterm-mouse-mode' has a bogus Custom group, Stefan Monnier, 2005/04/10
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/10
- Re: `xterm-mouse-mode' has a bogus Custom group, Richard Stallman, 2005/04/05
- Re: `xterm-mouse-mode' has a bogus Custom group,
David Kastrup <=