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

["Quim Gil" <qgil gnome org>]

This was discussed widely and agreed by the board last year. No need
to reopen the same discussion again. This is the best aspect of making
decisions.  :)

On 9/11/07, Lucas Rocha <lucasr gnome org> wrote:
> 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
> _______________________________________________
> gnome-web-list mailing list
> gnome-web-list gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-web-list
>


-- 
Quim Gil /// http://desdeamericaconamor.org