なんかvagrant global-statusコマンドでステータスを確認すると、削除したbox情報も出てきた。
正しい手順でboxを消していれば良かったらしいが、後の祭りなので、ここから何とか消してみる。
Vatgrantのglobal-statusのゴミの消し方
ちなみにdestroyしようとすると…
> vagrant destroy default
The machine with the name 'default' was not found configured for this Vagrant environment.
存在しませんって言われる。
その場合、以下のコマンドで消せる。
> vagrant global-status --prune
