Ed White wrote:
So I think a possible correct version could be:
"Debian is a free operating system (OS) for your computer. An operating system
is the set of basic programs and utilities that make your computer run.
Debian uses the Linux kernel (the core of an operating system), but most of
the basic OS tools come from the GNU project; the name GNU/Linux means that
the system started out as GNU, with Linux added."
If "Debian GNU/Linux" means the system started out as GNU with Linux
added later, then it's entirely wrong -- Debian has never released a
system not based on the Linux kernel.
But hey, if you're seriously advocating we drop the GNU/ and just call
it "Debian Linux"...
Cheers,
aj