Fixing Vagrant issues

The machine with the name 'default' was not found configured for this Vagrant environment.

Or if the Vagrant file has developed a syntax error 




And you want to vagrant destroy or vagrant halt the machine




https://github.com/devopsgroup-io/vagrant-hostmanager/issues/102
From the above URL:
vagrant global-status --prune