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.

Original source