Thank you for this really important detail, I thought that the vagrant file provider specifies which provider is used. It probably explains a lot of problems I have experienced. Are you sure about the coexistence I have red that the hyperV block the instruction to itself and virtualBox just fallbacks to run on HyperV.
On Thu, Mar 19, 2020 at 2:52 PM dragon788 <dragon...@gmail.com> wrote: > In the Vagrantfile the provider blocks do NOT actually tell Vagrant which > provider to use, they simply tell it that if that provider is selected from > the command line or environment variable what changes to make to the box > configuration. > > In recent versions of Windows 10 with versions of Virtualbox higher than > 6, it is supposed to be possible for Virtualbox and hyper-V to coexist. > > If you had installed Virtualbox you would definitely need to add > `--provider hyperv` to your `vagrant up` and other commands, and you'd want > to check with `vagrant global-status` that there wasn't a Virtualbox box > already present in that directory. > > -- > 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+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/vagrant-up/05656f7f-7c45-4c07-b229-9a7a8d019200%40googlegroups.com > . > -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/CAFE5DAoZd6nPuLt3bas%3D0qBCsaZFfLXEMoeUKhk016XKYYJusw%40mail.gmail.com.