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