Re: Substituting "Linux" with "GNU/Linux" or "GNU"

[Olav Vitters <olav bkor dhs org>]

On Fri, Aug 04, 2006 at 11:19:04PM +0300, Yavor Doganov wrote:
> This is a request to the the GNOME Foundation Board for
> action/decision regarding this matter.
> 
> There are some strings in some GNOME programs and very few in the
> GNOME documentaion that refer to the operating system as "Linux".  We
> would like the Board to vote and decide for a policy to substitute all
> these references to "GNU/Linux" or "GNU", where appropriate.

FWIW, I did see 2 requests to rename 'Linux' on bugzilla.gnome.org to
GNU/Linux. My official position is 'people use that field?!?' (except
crazy GIMP developers; which is the only reason you can still see the
field). If that needs changing, do it upstream. I do not care what it is
called as long as I do not have to patch Bugzilla for it (and repeat
that for every upgrade).

-- 
Regards,
Olav