You are confusing a subset "developers who use linux-compatible tools" with the set "users".
I'm not saying "I have more tools than you have cars" because I think it makes me win at something. I'm trying to point out that the ecosystems are so different that it's hard to quantify which side has "more".
Yes
> I'm trying to point out that the ecosystems are so different that it's hard to quantify which side has "more".
No. In response to "there's 100 times more software in Windows." you started speaking about dockerhub and git. That does not encompass all software, especially software that is required by non-programmers.
If there is a subset of L that is larger than W, then L itself is also larger than W.
I was proposing that if you count every image, or every repo, then dockerhub-only or the GitHub-only subsets of L might be larger than W because the effort of creating an additional windows project is much greater than the effort of creating an additional Linux project.
Really? I bet dockerhub alone has more linux-capable software than windows has anywhere. I also expect that a randomly chosen GitHub repo is more likely to support Linux than it is to support Windows.
Maybe these aren't fair comparisons, but I'm not sure what would be. The ecosystems are so different it's hard to know how such a count would go.