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

[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.

-- 
behdad
http://behdad.org/

"Those who would give up Essential Liberty to purchase a little
 Temporary Safety, deserve neither Liberty nor Safety."
        -- Benjamin Franklin, 1759