You should be able to share software you find useful with your neighbor; preventing people from doing so is enforcing antisocial behavior. Redistribution is what makes free software work. Whether most of it is available somewhere else or not, that’s something customers have the right to do.

This is a bit of a strawman in my opinion. I’m sure Red Hat won’t care if you, as a customer, use their sources, rebuild them and “share it with your neighbor”. They won’t terminate an account over that, at least I’d be very surprised if they did. I don’t consider “downloading all sources, removing any branding, rebuilding, offering for free and selling commercial support” the same though, but there’s no mechanism in the GPL to differentiate between those.

Redistribution is what makes free software work. Whether most of it is available somewhere else or not, that’s something customers have the right to do.

Agreed, and nobody is denying them this right. However, at the same time, Red Hat has the right to terminate the accounts with customers if they decide that the business relationship costs them more money than it makes them. The right to choose who to have business with is not stronger or weaker than the GPL.

At the same time, it’s thanks to Linus that Red Hat was able to be significant. If it was released under the original anti-commercial license, things would be far different again.

Yes, I did not want to imply that it was all Red Hat that mattered. I just wanted to go against what some people imply, that Red Hat is just freeloading on Open Source and now want to restrict this right to others. E.g. in a video in another thread, Jeff Geerling says something along the lines “Red Hat didn’t build the Linux kernel, nor do they own it” which I think is disingenuous: they never claimed they own the Linux kernel, and they’re the second largest contributor to it after Intel, and relevant portion of Intel’s contributions are drivers specific to their own hardware and as such, only usable in their ecosystem. Plus the kernel is still available in CentOS Stream, which goes above and beyond GPL requirements.

I can see people being upset losing free enterprise-grade distributions (though personally in my limited experience could find nothing to like about it), but at the same time, most of the complainers weren’t actually covered by the GPL at all because Red Hat did not supply them with the binaries anyways.