[tkchan]

Similar situation here, given that different students has different machines at home, we opted for the route of just using a semi-custom VM running on top of VMWare Workstation Player (12.5) [We started with Virtual Box but one of our older desktop were having some really weird problem running the VM in it so we ended up redoing the VM for VMWare]. Our VM is Ubuntu 14.04 LT running Eclipse MARS 2, Java 8, gcc/g++ and full WPI toolchain.

We are still having to deal with not having enough working/workable machines when we have 10 kids showing up for programming lessons and we have 2.5 working laptops and 3 desktops. So ideally if we can get into a full Docker Stack, then that would open up to a ton of the free IDE on the cloud situation (i.e. Codenvy.com uses a semi-custom version of Eclipse Che and would be an ideal candidate for us). If we can go that route, then we just need to get 10 chrome/chromebook for our students and they can keep working in the same exact environment on their own when they're home.

So if anyone is working on a Docker Stack for this, I would be more then happy to help in anyway possible.