How big is the VM image? On Fri, Oct 17, 2014 at 12:06 PM, Thomas Broyer <[email protected]> wrote:
> > Would it be a blocker if you had to use a VM (VirtualBox or boot2docker) > to be able to contribute to GWT (because build tools would only work on > Linux or OS X) ? > You'd still be able to use Eclipse or IntelliJ IDEA to develop, outside > the VM, but actually building the project to produce JAR files would > require Linux (running in a VM). > > On the other hand, all you'd have to do to get things working would be to > download the image with everything preinstalled (and possibly call a script > too bootstrap the dev environment), with no other requirement on your > machine than having VirtualBox (or boot2docker; maybe Vagrant) > > Just to have an idea if we should rule out Pants as a build tool or not > (Pants might support Windows in the future though). > > I'm thinking that maybe we should try to come up with Docker images and/or > Vagrantfile anyway to make things easier for new contributors, whether > they're using Windows, Linux or OS X. > > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/c37dcd9e-5530-45e7-9f6b-86fd736a6a94%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/c37dcd9e-5530-45e7-9f6b-86fd736a6a94%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAEqaEVh0RatrmFoNoHrP9YcV0yg9ddBBKEZ85A8gG46JV-JCfA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
