Linux use among devs is much higher than gen pop.
https://survey.stackoverflow.co/2023/#section-most-popular-technologies-operating-system
Keep in mind, this adds up to more than 100% because it wasn’t an exclusive choice question, it was multiple.
note if you sum up the linux distros here (excluding ChromeOS) you get 58,4% for personal use and 54,54% for professional use (of course keep in mind that there’s some godless bastards who dual boot 2 linux distros that could skew these statistics).
Also note how that implies Linux is the most popular OS for professional use.
Anyways, I wish these stats wouldn’t split Linux into distros, at least not by default. Linux distros are mostly the same and you’re still using (GNU*/)Linux splitting it makes it seem less popular tan it actually is.
*unless you’re using something like Alpine ig
Except it wasn’t an exclusive choice question, it was multi-selection. So you could choose more than one OS (or distro). So this really doesn’t give much of an idea what the main OS is that people use. But it’s still going to be way higher than general users.
duh, still a useful statistic IMO
