Re: [che-dev] Workspace.Next

[Yevhen Ivantsov <yivantso@xxxxxxxxxx>]

@Mario, dev-machine is just a machine name. It can be any name.

On Mon, Dec 18, 2017 at 3:39 PM, Mario <mario.loriedo@xxxxxxxxx> wrote:

also building tools may be in separate containers as well.

So you can change maven version only by switching container image like picking up one of https://hub.docker.com/_/maven/ images

exactly 

_______________________________________________
che-dev mailing list
che-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/che-dev

--

EUGENE IVANTSOV

Red Hat 

eivantsov@xxxxxxxxxx