GNU/Linux is stupid.

Say GNU+Linux

+ means and
/ means or

wtf is the / for.

the / is why most people call it linux, because "foo/bar" means "foo or bar" but then, people think foo and bar are the same thing. and linux is easier to pronounce than GNU so people say linux

if you say GNU+Linux, people can see clearly that it's *2* different things side by side, so they're more likely to say GNU as a component of the core operating system that is GNU+Linux

reject /. embrace the +. + is life

@libreleah / is path separator. And means: GNU OS has Linux kernel inside, like file in directory

@termonoid yeah posix. it still doesn't really make sense, but then by posix logic, it'd be linux/gnu, because linux boots first (at bootloader stage) and then loads the GNU system

@libreleah that's how i see "GNU/Linux" and "GNU+Linux".

IMHO, the best solution is writing as absolute path - /GNU/Linux :D


@libreleah let's do this like democracy :D

Fediverse, it's time to choose one!

· · Web · 6 · 5 · 1

@termonoid @libreleah i just say linux tbh because its easier to say and type B)

Im just gonna keep calling it Linux. If GNU want credit for the whole operating system they can write the kernel themselves.

@swashberry @termonoid @libreleah i dont have this deep of a position about it, gnu plays a role in pretty much every distro besides alpine, but i prioritize communication over including everyone in the name which to me seems unnecessary. if someone wondered what the os was comprised of it would be good to mention the critical components, where you draw that line is subjective however and could reasonably include the init system or package manager (i think, depending on how the distro was presented, i.e. if those are unique features provided and not intended to be changed)

@termonoid @libreleah I am of the opinion that important non-GNU non-Linux software aren't being credited enough so I vote for `pacman -Q`
Or `dpkg -l`
Or `rpm -qa`


Sign in to participate in the conversation

Русская нода социальной сети "Мастодонт", части Fediverse - всемирной федерации социальных сетей. Зона общения, свободная от рекламы и шпионажа, теперь и в России.