.vagrant.d\tmpの不要ファイルを削除したい

Question

前提・実現したいこと

Windows10+virtualbox+vagrantという環境で
ローカル開発環境を運用しているのですが
以下のディレクトリが肥大化してしまいました。

C:\Users\example.vagrant.d\tmp

いらないファイルを削除したいのですが
どれが削除していいのかよくわからない状況です。

調べてみたこと

ボックスファイルのダウンロードに失敗したものが
保存されているとのことでした。
https://code.i-harness.com/ja/q/9af6bc

質問

・.vagrant.d\tmp以下のファイルはどのような場面でどのように使用されるのでしょうか。
・.vagrant.d\tmp以下のファイルを削除して起こるトラブルを想定するとどのようなものがありそうでしょうか。
・.vagrant.d\tmp以下のファイルはどのような状況だと生成されるのでしょうか。

Answer 1

vagrant box add コマンドでダウンロードしてくるときの一時的な保管フォルダなのでダウンロードに失敗したときなどにファイルが残ったりします。
ですのでダウンロード中でなければファイルは削除してよいと思います。

tmpフォルダ自体は消さないほうが安全かと思います。

Comments

[ruuusaamarki]

euledgeさんコメントありがとうございます。

経験伺えて参考になりました。
ダウンロード中は要注意ですね。
tmpフォルダは残して削除したいと思います。

[euledge]

ダウンロードに失敗した後、tmpフォルダにごみファイルが残ってしまうため再度 box addをするときに失敗してしまうということがたまに起きるみたいなので、そのときはこの中のファイルを削除することで解決できるとのことです。

[ruuusaamarki]

box addの件ありがとうございます。
重ねて参考になりました。
tmpディレクトリは１００GBを超えていたのですが
無事削除し、起動することができました。
今後はこちらのディレクトリを注意してみたいと思います。