CRUX naming

Oleksiy V. Khilkevich grim at
Tue Mar 14 09:52:23 UTC 2006

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 (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.

More information about the CRUX mailing list