On Tue, 7 Oct 2008, Rob Bayerl wrote:


> On Tue, Oct 7, 2008 at 2:01 AM, Mike Miller <mbmiller at taxa.epi.umn.edu> 
> wrote:
>
>> The fact that many people call it Linux doesn't imply that we shouldn't 
>> call it GNU/Linux.  The name serves a useful purpose by promoting an 
>> ideal.
>
> I disagree.  You can lobby for the name change all you want, but I do 
> not think the de facto name will ever be GNU/Linux.

But I don't care what the defacto name becomes over time.  That isn't the 
point of using GNU/Linux today -- it's not to convert others to use the 
same name.  The idea is to promote the goals of the free software 
movement.  People might ask "why do you call it *GNU*/Linux," and then 
you'll tell them.  That's the point.

Mike