On Tue, 14 Mar 2006 10:56:50 +0200, Mark Rosenstand wrote: Hello, Mark! IMO, the distro can be called CRUX, but anyway it is still GNU/Linux On gnu.org (I don't remember where), Stallman stresses that the kernel is not Linux but GNU/Linux, that undelines the nature of kernel. That is why Debian is a Debian GNU/Linux and not Debian Linux. Anyway it's a hard matter to operate :) Basically for me, I agree with Stallman and call distro either CRUX or CRUX GNU/Linux where acceptable. CRUX fits to me best i think.
Hi,
From the handbook FAQ:
3. Is it called CRUX Linux or CRUX GNU/Linux? None of the above. It's called CRUX, no more no less.
I've noticed that kdelibs is branded --with-distribution="CRUX Linux", the default menu.lst from grub calls it "CRUX GNU/Linux" and the descriptions for pkg-get and pkgsync both say "CRUX Linux".
Could the respective maintainers please fix this, perhaps only locally and let it slip in with their next commit?
-- Regards, [GRIM-UANIC] [GRIM-RIPE] Oleksiy V. Khilkevich National Technical University of Ukraine "Kyiv Polytechnic Institute" -- Please avoid sending me Word, Excel or PowerPoint attachments. Use plain text, HTML or PDF instead. http://www.gnu.org/philosophy/no-word-attachments.html