私は MacBook Air を持っていますが、スペースは貴重です。サイズが 2 GB から 8 GB に増加している vagrant インスタンスがあります。
ディスク サイズを縮小するためのオプションを調べていたところ、VDI のチュートリアルがいくつか見つかりましたが、実際のファイルは .vmdk ファイルです。残念ながら、vmdk ファイルを管理するツールは、VMware から商用ライセンスを取得したツールです。
vagrant がデフォルトのパッケージ形式として vmdk 形式を使用するのはなぜですか?
vagrantfile を構成して、vmdk の代わりに vdi を使用するように強制する方法はありますか?
簡単な答えはノーです。
VirtualBox は、OVF/OVA としての画像のエクスポートのみをサポートしています。
Vagrant 1.0.x ベース ボックスは、基本的に VirtualBox エクスポートの tar ファイルです。1.1.x と 1.2+ で少し変更されました。
とにかく、技術的には VMDK を VDI に変換できるはずですが、既存の VM に再接続するか、それを使用して新しい VM を作成する必要があります。VBoxManage clonehd in.vmdk out.vdi --format VDI
http://docs.vagrantup.com/v2/boxes/format.htmlを参照してください。
以前は、ボックスは VirtualBox エクスポートの単なる tar ファイルでした。複数のプロバイダーをサポートする Vagrant により、ボックス ファイルは、プロバイダーごとに内容が異なる tar ファイルになりました。これらは依然として tar ファイルですが、オプションで gzip 圧縮することもできます。
Vagrant 1.0.x および VirtualBox 用に作成された Box ファイルは、引き続き Vagrant 1.1+ および VirtualBox プロバイダーで動作します。