1. ホーム
  2. vagrant

[解決済み] ホームフォルダ外のvagrant.d

2023-05-10 11:55:18

質問

ホームディレクトリがリモートサーバにあり、~/.vagrant.dがそのサーバにあるため、vagrantのパフォーマンスが著しく低下する(ファイルサーバのバックアップサイズが大きくなる)問題があります。

そこで、少なくとも~/vagrant.d/boxesをホームディレクトリの外に移動する方法はないでしょうか?

乾杯。

どのように解決するのですか?

Vagrantのデフォルトでは ~/.vagrant.d . 幸いなことに、vagrant は環境変数として VAGRANT_HOME という環境変数が用意されており、これを使うことでvagrantのホームを設定することができます。

以下を実行するだけで、vagrant home が変更されます (これは現在のセッションでのみ機能します)。

export VAGRANT_HOME=/path/to/vagrant

これを恒久的なものにするには、これを ~/.bash_profile (ログインシェル用)に追加してください。

更新 : VAGRANT_HOME がドキュメントに追加されました。 環境変数

VAGRANT_HOME は、Vagrant がグローバルな状態を保存するディレクトリを変更するために設定します。デフォルトでは、これは ~/.vagrant.d . Vagrantのホームディレクトリはboxなどが格納される場所なので、実際にはディスクがかなり大きくなってしまう可能性があります。