Pretty sure most of you already know this but for those who don’t: you have two clipboards in Linux. One is the traditional clipboard where you copy with control c and paste with control v. The other one is when you highlight text and use the mouse middle click to paste text.
More details here.
Please stop calling it gun/Linux UNLESS you also use
Etc.
I don’t understand a single example you gave. I always call it Linux. But, what?
Linux is the kernel, useless without actual programs to run on it. In general the minimal set of programs to make a Linux system actually useful (cd, ls, cat, …) are provided by the coreutils package, a GNU project.
RMS, the founder of GNU, was pissed that people were using Linux + his software and simply calling it Linux, so he insisted that the proper generic name for “Linux” distributions was actually “GNU/Linux” (i.e. GNU utilities + Linux kernel).
OP’s joke is that we name stuff without specifying their components or needed tools all the time, so we shouldn’t bother doing it for Linux.
Yeah, I understood all of that. I didn’t understand the examples. Chisel, David, etc…
Michelangelo’s David is a well-known marble statue which was carved using a chisel.
I don’t get it, why would you even be mad about someone referring it as GNU/Linux?
In that case it’s even just either X org or the wayland compositor that may implement that, not “linux”.
Please stop lecturing people about how to talk.
But why would you call this linux when this is not linux specific thing anyway
ah yes, Linux clipboard documentation: https://developer.android.com/develop/ui/views/touch-and-input/copy-paste
deleted by creator
I mean, we live in a world where there are multiple use cases for non-GNU/Linux (i.e. Alpine). Surely the distinction has become useful.
deleted by creator
I think going of out your way to type four more letters shows appropriate appreciation for the historical significance of the GNU project.
deleted by creator
You vlassifying it as “pedantry” supports my point. It’s also ironic, considering you told somebody else to not call it GNU+Linux instead of the other way around.
Pick one.
Mimimimimimi
deleted by creator
Ok, Stallman