Yep that's what I was thinking. If he's annoyed that students are wasting too much time setting up software, they should hire some folks to build a nice reposi

Yep that's what I was thinking. If he's annoyed that students are wasting too much time setting up software, they should hire some folks to build a nice repository of packages and maintain them.