--
This mailing list is governed under the HashiCorp Community Guidelines - https://www.hashicorp.com/community-guidelines.html. Behavior in violation of those guidelines may result in your removal from this mailing list.
GitHub Issues: https://github.com/mitchellh/vagrant/issues
IRC: #vagrant on Freenode
---
You received this message because you are subscribed to the Google Groups "Vagrant" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vagrant-up+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/ceb093d5-ccf5-4b9c-8e84-1ade778377a9%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Hello.If your environment setup DOCKER_HOSTper 1.8.7 you should be able to disable the VM creation.commit:
On Tue, Nov 15, 2016 at 1:18 PM, Vincenzo D'Amore <v.da...@gmail.com> wrote:
Hi allgiven that now docker is available directly in MacOS is there any chance to not use boot2docker and go directly on docker?Best regards,Vincenzo
--
This mailing list is governed under the HashiCorp Community Guidelines - https://www.hashicorp.com/community-guidelines.html. Behavior in violation of those guidelines may result in your removal from this mailing list.
GitHub Issues: https://github.com/mitchellh/vagrant/issues
IRC: #vagrant on Freenode
---
You received this message because you are subscribed to the Google Groups "Vagrant" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vagrant-up+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/ceb093d5-ccf5-4b9c-8e84-1ade778377a9%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--Alvaro
To unsubscribe from this group and stop receiving emails from it, send an email to vagrant-up+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/00033ce5-1185-4593-985a-6cd9e6705eea%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.