How do I remove a Vagrant box from global-status, after deleting that box from the filesystem?
vagrant, virtualbox
Solution
To discard old boxes listed in `vagrant global-status` (eg. you deleted the folder containing the `.vagrant` dir from the filesystem) you just need to run:
vagrant global-status --prune
You might need to remove the Virtual Machine directly from your provider (VMWare, Virtualbox, ..) control interface.
Problem
I deleted a folder containing a running Vagrant box before realising it was still running. How can I delete it from Vagrant (global-status) now? I already removed the Virtualbox VM.