使用vagrant小记

当使用vagrant add box 【name】 url 进行添加box ，或是使用vagrantfile 初始化没有下载过的box时， vagrant会把box下载到 ~/.vagrant/boxes 这个目录下， 当下载有多个box时，该目录下就会对应有多个子文件夹，每个文件夹中包含box的文件和一些虚拟机的系统配置文件等。

当使用vagrant进行删除时， 使用 

vagrant box list      查看当前被初始化过的虚拟机

vagrant  destroy  【boxId】    其中 boxId 就是 通过上面  vagrant box list 中对应的id号码

经过上面一部destroy的动作，box的只是清除了初始化后记录的信息，box文件并没有被删除

要删掉box文件，释放硬盘空间，需要使用

vagrant box remove  【boxName】 其中boxName 也是通过 vagrant box list 查看出来的。