<div dir="ltr">On Fri, Jul 18, 2008 at 10:33 PM, Alexandre Oliva <<a href="mailto:aoliva@redhat.com">aoliva@redhat.com</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Jul 17, 2008, "Patrick O'Callaghan" <<a href="mailto:pocallaghan@gmail.com">pocallaghan@gmail.com</a>> wrote:<br>
<br>
> On Thu, 2008-07-17 at 23:38 +0200, Björn Persson wrote:<br>
</div><div class="Ih2E3d">>> programs. Therefore, contrary to what you wrote, GNU does fit Alexandre's<br>
>> definition of "operating system".<br>
<br>
> Better tell him that, because he's not using the term in the way you<br>
> describe. This isn't a question of right or wrong, it's one of<br>
> consistency. If you check back on this thread you'll see that Alexandre<br>
> repeatedly refers to GNU/Linux as (paraphrasing here) "the GNU Operating<br>
> System plus the Linux kernel", which IIRC is in line with what the FSF<br>
> says when promoting GNU/Linux as a name. If "the GNU Operating System"<br>
> is complete, i.e. already has a kernel, then where does Linux fit in<br>
> this scheme? By this token, you should be referring to the Operating<br>
> System as GNU/Hurd, not as GNU.<br>
<br>
</div>If this was arithmetics or formal logic, you'd be absolutely correct,<br>
and to be pedantically right we'd have to say GNU-Hurd+Linux.<br>
<br>
However common sense kicks in: if you replace or remove any single<br>
component of the large collection of programs that together amount to<br>
an operating system, this won't make enough of a different to make it<br>
a different operating system.  So, GNU-Hurd is still the GNU operating<br>
system. </blockquote><div><br>So Operating System - kernel = Operating System? I think we're talking past each other here. Clearly natural language is not the same as formal logic, but that's no reason not to look for clarity. We're talking about definitions here. In everyday usage we can be more relaxed (in fact I would characterize the anti-GNU/Linux position being exactly that: people use the terminology they find convenient and aren't too worried about exactness).<br>
 <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">And if you add Linux or the OpenSolaris kernel or the FreeBSD<br>
kernel, it's still the GNU operating system, running on top of a<br>
different kernel.<br>
<br>
Now compare this with the so common situation in which people take the<br>
name of the kernel for the name of the operating system.  You replace<br>
a single program, the kernel, that amounts to a small fraction of the<br>
whole; adjust another component, say libc, and leave everything else<br>
alone.  Would you say the name of the operating system should change<br>
in this case?<br><div class="Ih2E3d"></div></blockquote><div><br>Replacing the kernel is not remotely on the same level as replacing some random program, and counting lines of code is no way to assign importance. For the that matter, replacing (or just removing) X, Gnome and/or KDE woul reduce the code count by a huge amount, but there's no doubt in my mind that we'd still call the result Linux (or GNU/Linux according to preference).<br>
 <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">
> OTOH (and this is something I haven't raised before), what people in the<br>
> great majority *do* say is Linux, not GNU/Linux.<br>
<br>
</div>Ad populum?  The great majority thinks Windows is part of the<br>
computer, but that so many people make this mistake doesn't make it<br>
right.  Oh, and they've never heard of GNU or Linux.<br><div class="Ih2E3d"></div></blockquote><div><br>On that basis the majority of the world's population have never made a phone call, let alone know what an OS is, or even what a computer is, so naturally that's not the population I refer to. "The majority" means "the majority of people who *do* know what these things are".<br>
 <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">
> You have every right to object to that on principle, but forgive my<br>
> scepticism that it will actually change anything.<br>
<br>
</div>If it weren't for the very man who actually started asking people to<br>
give credit to the project he started to give people freedom while<br>
using computers to start this project, nothing would have changed<br>
either, and we might very well find out we wouldn't have any Free<br>
operating system to use.</blockquote><div><br>I think you're confusing two things. RMS defined Free Software (he didn't invent it but he did formalize the idea) and deserves every credit for that. The success of the idea is in part due to people signing up to the principle because it appeals to them, and in part because it has clear economic advantages. OTOH pushing a *name* for something a) appeals to far fewer people, especially those who have become used to a different name, and b) has no economic impact whatsoever. Add to that the fact that the proposed name is more awkward to say and write than the preferred name, and I'd say it's an uphill struggle.<br>
 <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Be skeptic as much as you want, but he has<br>
already succeeded once at something that many thought impossible.<br>
<div class="Ih2E3d"><br>
> But it's not going to change.<br>
<br>
</div>Everything eventually changes.<br>
<div></div></blockquote><div><br>Time will tell.<br><br>poc <br></div></div><br></div>