Re: "Linux" in www.gnome.org/about

["Lucas Rocha" <lucasr gnome org>]

Hi,

2007/9/11, Behdad Esfahbod <behdad behdad org>:
> On Mon, 2007-09-10 at 23:27 +0200, Olav Vitters wrote:
> > On Mon, Sep 10, 2007 at 05:21:22PM -0400, Behdad Esfahbod wrote:
> > > This has been raised up multiple times.  Can we just replace "Linux"
> > > with "GNU/Linux" on the "What is GNOME?" page and be done with it?
> >
> > It should be: "GNU/Linux (commonly referred to as Linux)"
> >
> > This is IIRC what was previously agreed upon.
> >
> > I'm not planning to change it though. I'd call it "Linux (sometimes
> > referred to as GNU/Linux)" and be done with it.
>
> Personally I prefer the correct term to the common one.  "GNU/Linux
> (commonly referred to as Linux)" is totally fine, but "Linux (sometimes
> referred to as GNU/Linux)" doesn't do justice IMHO.

I agree with Behdad. "Linux (sometimes referred to as GNU/Linux)" is
not very fair from our side.

--lucasr