I use Ubuntu on my personal computer and for my side projects, but I'm stuck using Windows at work. In any case, I don't develop in PHP so the question was academic.