Hi there, I'm pretty new to vagrant/docker. While palying around I discovered that I did not halt/destroy a docker and a vagrant vm before deleting their corresponding folder. Running the vagrant global-status from any directory I get the following result:
$ vagrant global-status id name provider state directory ------------------------------------------------------------------------ d4fcaec default virtualbox running /Users/mimmo/Developer/docker cd85a7a default virtualbox running /Users/mimmo/vagrant The above shows information about all known Vagrant environments on this machine. This data is cached and may not be completely up-to-date. To interact with any of the machines, you can go to that directory and run Vagrant, or you can use the ID directly with Vagrant commands from any directory. For example: "vagrant destroy 1a2b3c4d" both the above ../Developer/docker and vagrant directories do not exist any more and even if I reboot the system they are still there. Is there a way to kill them? Thanks mimmo -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
