Re:Debian GNU/Hurd 2019 Released
by earenndil on Sunday July 07, 2019 @05:23PM
(#20377961)
Debian GNU/GNU?
[ Parent
| on HN ]
I mean "GNU/Linux" is supposed to mean "GNU with Linux" i.e. GNU userspace with Linux kernel. GNU/GNU makes some sense but clearly is redundant. It's just GNU as in GNU userspace and kernel.
Yes. It was a joke, to poke fun at the people who refer to linux OSes as GNU/linux.