Gentoo Archives: gentoo-dev

From: Rigo <rigo@××××.nl>
To: gentoo-dev@g.o
Subject: Re: [gentoo-dev] Dist name...
Date: Thu, 15 Aug 2002 13:27:55
Message-Id: 1029426728.31829.35.camel@lappy.rogi.biz
In Reply to: Re: [gentoo-dev] Dist name... by Fredrik Jagenheim
1 Op wo 07-08-2002, om 17:43 schreef Fredrik Jagenheim:
2 > On Wed, Aug 07, 2002 at 02:57:14PM +0200, Alexander Gretencord wrote:
3 > >
4 > > Well for some ppl now that someone tried to push the GNU/ part onto Gentoo
5 > > it's this kind of "no, not after this" feeling :) This doesn't bring us
6 > > anywhere it's not the users decision anyway.
7 > >
8 >
9 > Oh, but let's make it a users decision. I propose a new flag in USE
10 > that will let the user name the system 'GNU/Linux' or 'Linux' or
11 > 'Gentoo GNU/Linux, the best dist for politically correct power users'.
12
13 I kinda like that idea...
14
15 >
16 > Now, let's flame over what the default should be. ;)
17
18 :-D !
19
20 >
21 > No, I'm not serious. Unless it's about code.
22 >
23 > //Humming, pondering if he's naming it GNU/Linux because he used GNU
24 > tools to build it, should he then name his Great Novel after the
25 > typewriter? ;)
26 >
27 > _______________________________________________
28 > gentoo-dev mailing list
29 > gentoo-dev@g.o
30 > http://lists.gentoo.org/mailman/listinfo/gentoo-dev