[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Pan-users] Re: clearing headers?
From: |
Greg Lee |
Subject: |
[Pan-users] Re: clearing headers? |
Date: |
Tue, 7 Oct 2008 15:16:57 +0000 (UTC) |
User-agent: |
Pan/0.133 (House of Butterflies) |
On Tue, 07 Oct 2008 07:39:38 +0000, Yavor Doganov wrote:
> Sure, everyone is entitled to their own opinion -- I suggest you to read
> the GNU/Linux FAQ for common irrational arguments of the people who
> insist calling the system "Linux".
I've just done as you suggested, but I don't find in the FAQ a demonstration
that arguments for calling the operating system "Linux" are irrational.
In fact, in his anwer for "What is the difference between an operating system
and a kernel?", Stallman notes:
"To confuse matters, some people use the term “operating system” to mean
“kernel”. Both uses of the term go back many years. The use of “operating
system” to mean “kernel” is found in a number of textbooks on system design,
going back to the 80s."
That is one of the ways I use the term "operating system" and why I refer to the
"Linux operating system". The name of the operating system, in this case, is
inherited from the name of the kernel.
--
Greg
- [Pan-users] Re: clearing headers?, (continued)
- [Pan-users] Re: clearing headers?, Yavor Doganov, 2008/10/07
- [Pan-users] Re: clearing headers?, Duncan, 2008/10/07
- Re: [Pan-users] Re: clearing headers?, Chris Metzler, 2008/10/07
- Re: [Pan-users] Re: clearing headers?, Joe Zeff, 2008/10/07
- Re: [Pan-users] Re: clearing headers?, CSV4ME2, 2008/10/07
- Re: [Pan-users] Re: clearing headers?, David Kelly, 2008/10/07
- [Pan-users] [OT] Re: clearing headers?, Bernt Hansson, 2008/10/08
- Re: [Pan-users] Re: clearing headers?, CSV4ME2, 2008/10/08
- [Pan-users] Re: Re: clearing headers?, Роман Донченко, 2008/10/08
- Re: [Pan-users] Re: clearing headers?, Zan Lynx, 2008/10/07
- [Pan-users] Re: clearing headers?,
Greg Lee <=
- Re: [Pan-users] Re: clearing headers?, Steven D'Aprano, 2008/10/07
- [Pan-users] Re: clearing headers?, Yavor Doganov, 2008/10/08
- [Pan-users] OT: GNU/Linux Was: clearing headers?, Duncan, 2008/10/08
- [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, Yavor Doganov, 2008/10/09
- [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, Duncan, 2008/10/09
- Re: [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, David Kelly, 2008/10/09
- [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, Duncan, 2008/10/09
- [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, Greg Lee, 2008/10/10
- [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, Duncan, 2008/10/10
- Re: [Pan-users] Re: OT: GNU/Linux Was: clearing headers?, Joe Zeff, 2008/10/09