Hi Alvaro, yes and I haven't run into any further issues with the switch from VMware to VirtualBox.
On Monday, September 3, 2018 at 2:29:30 PM UTC+2, Alvaro Miranda Aguilera wrote: > > Hello > > Did you try that? > > did work? > > > On Mon, Aug 27, 2018 at 1:35 PM Lucas Rangit Magasweran < > [email protected] <javascript:>> wrote: > >> Is deleting the directory .vagrant/machines/default/vmware_workstation in >> the box's directory listed by `vagrant global-status` sufficient? >> >> On Monday, August 27, 2018 at 1:29:54 PM UTC+2, Lucas Rangit Magasweran >> wrote: >>> >>> How do I delete a box created with the vmware_{workstation,desktop} >>> provider after I have removed VMware Workstation? >>> >>> I think these errors are because I removed VMware workstation. I must >>> remove the boxes to create them again with VirtualBox. I decided to switch >>> to VirtualBox since it has it's drivers in the 4.15 mainline kernel, >>> whereas VMware does not and their drivers don't compile with the my kernel. >>> >>> $ vagrant destroy -f 3746657 >>> Vagrant encountered an error while attempting to inspect VMware >>> for current version information: >>> >>> Failed to extract VMware version information >>> >>> -- >> 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 [email protected] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/vagrant-up/ddb12832-eac4-4211-bca2-f1e16a09c98d%40googlegroups.com >> >> <https://groups.google.com/d/msgid/vagrant-up/ddb12832-eac4-4211-bca2-f1e16a09c98d%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > > > -- > Alvaro > > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/14e991fd-b332-4727-987f-881ca4fa53d6%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
