How do I remove a Vagrant box from global-status, after deleting that box from the filesystem?

Question

I have deleted a folder containing a running Vagrant box before realizing it was still running.

How can I delete it from Vagrant (global-status) now?

I already removed the Virtualbox VM.

Answer 1

For discarding old boxes listed in vagrant global-status is achieved by 

Vagrant global-status --prune

Note: But for this, you might need to remove the virtual machine directly from your provider control interface.