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 _______________________________________________ gnome-web-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-web-list
