Remove box after removing provider. Failed to extract VMware version information

[Lucas Rangit Magasweran]

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

[Lucas Rangit Magasweran]

Is deleting the directory .vagrant/machines/default/vmware_workstation in the box's directory listed by `vagrant global-status` sufficient?

[Alvaro Miranda Aguilera]

Hello

Did you try that?

did work?

--
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/ddb12832-eac4-4211-bca2-f1e16a09c98d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Alvaro

[Lucas Rangit Magasweran]

Hi Alvaro, yes and I haven't run into any further issues with the switch from VMware to VirtualBox.