CRUX naming

Mark Rosenstand mark at
Tue Mar 14 08:56:50 UTC 2006


>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?

More information about the CRUX mailing list