They mean a Linux based OS, and say Linux for short. They could also say GNU/Linux, but chose not to. I do it every single time, but its for convenience, but technically imprecise.
When we are talking about distributions being different, that’s their whole purpose, since their only common denominator is the underlying kernel.
That’s not what people mean when saying “switch to Linux”.
They mean a Linux based OS, and say Linux for short. They could also say GNU/Linux, but chose not to. I do it every single time, but its for convenience, but technically imprecise.
When we are talking about distributions being different, that’s their whole purpose, since their only common denominator is the underlying kernel.
You’re just moving the conversion sideways. If you have nothing to say on the topic - move on.