[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 02:17:57 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Luc Teirlinck <address@hidden> writes:
> Nick Roberts wrote:
>
> > 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 do I, but Richard asked me to refer to it as "GNU/Linux
> console".
The console clearly is exclusively a feature of the kernel. We render
ourselves ridiculous if we demand that people call the whole operating
system "GNU/Linux" to distinguish it from the kernel "Linux", then
call the console "GNU/Linux". The whole point about "GNU/Linux" is to
make the distinction in the first place, to give credit where credit
is due.
--
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 <=
- 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, 2005/04/06
- 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