Adam Chlipala <[EMAIL PROTECTED]> writes: > Michael Olson wrote: >> One minor nitpick: let's call it "Debian GNU/Linux" instead of "Debian >> Linux", because that's the full name of the OS, as can be seen on the >> front page of Debian's website. > > Regardless of what the "correct" answer is, I know that anyone using the > phrase "GNU/Linux" is tagged as a loonie by a significant fraction of > our prospective member base. Of course, anyone using "Linux" alone is > tagged as a jerk by another significant fraction. Thus, I now plan just > to call it "Debian" to avoid taking sides.
I don't see any problem with calling a distribution by the name that it itself uses, but whatever. I would not call Ubuntu Linux "Ubuntu GNU/Linux", for example (even though I prefer the latter), because it is not the name that the distributors chose for it. -- Michael Olson -- FSF Associate Member #652 -- http://www.mwolson.org/ Interests: Lisp, text markup, protocols -- Jabber: mwolson_at_hcoop.net /` |\ | | | Projects: Emacs, Muse, ERC, EMMS, Planner, ErBot, DVC |_] | \| |_| Reclaim your digital rights by eliminating DRM. See http://www.defectivebydesign.org/what_is_drm for details.
pgp9v6KPjuyku.pgp
Description: PGP signature
_______________________________________________ HCoop-Discuss mailing list [email protected] http://hcoop.net/cgi-bin/mailman/listinfo/hcoop-discuss
