Russ Allbery <r...@debian.org> writes: > Charles Plessy <ple...@debian.org> writes: > > How about ‘Debian operating system’ ? The other advantage I see is > > that it avoids the paradox that the non-free packages that are > > distributed by the Debian project are not part of the Debian > > ‘distribution’. > > I personally prefer Debian distribution and don't find that > paradoxical, but I don't feel very strongly about it.
For another data point, I have the opposite preference to Russ. I refer to the “Debian operating system”, in part because of the confusion over “distribution”. Like Russ, I'm not going to get upset if that preference isn't followed by others. In cases like this, though, “Debian operating system” would be clearer. -- \ Lucifer: “Just sign the Contract, sir, and the Piano is yours.” | `\ Ray: “Sheesh! This is long! Mind if I sign it now and read it | _o__) later?” —http://www.achewood.com/ | Ben Finney -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87lj7rh451....@benfinney.id.au
