[解決済み] ホームフォルダ外の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などが格納される場所なので、実際にはディスクがかなり大きくなってしまう可能性があります。
関連
-
[解決済み] [Solved] config.vm.boot_timeout はどこにある?
-
[解決済み] Vagrant Command Stopped Working: WIndows でコマンドが見つからない
-
[解決済み] VagrantはVirtualBoxの共有フォルダをマウントできませんでした。
-
[解決済み] 分離された環境を作るにはVagrantとDockerのどちらを使うべきですか?[クローズド]
-
[解決済み】Windows10で内部ネットワークVagrantを開く/作成するのに失敗しました。
-
[解決済み] Vagrant が起動しない。VM を作成したユーザと現在のユーザが一致しません。
-
[解決済み] homestead'という名前のVirtualBoxマシンがすでに存在しています。
-
[解決済み] キャッシュにあるvmsのリストを削除する
-
[解決済み] VagrantはどこでVMの変更を保存していますか?
-
[解決済み] Vagrant の箱をファイルシステムから削除した後、global-status から削除するにはどうすればよいですか?
最新
-
nginxです。[emerg] 0.0.0.0:80 への bind() に失敗しました (98: アドレスは既に使用中です)
-
htmlページでギリシャ文字を使うには
-
ピュアhtml+cssでの要素読み込み効果
-
純粋なhtml + cssで五輪を実現するサンプルコード
-
ナビゲーションバー・ドロップダウンメニューのHTML+CSSサンプルコード
-
タイピング効果を実現するピュアhtml+css
-
htmlの選択ボックスのプレースホルダー作成に関する質問
-
html css3 伸縮しない 画像表示効果
-
トップナビゲーションバーメニュー作成用HTML+CSS
-
html+css 実装 サイバーパンク風ボタン
おすすめ
-
[解決済み] Vagrant Command Stopped Working: WIndows でコマンドが見つからない
-
[解決済み] Vagrant cannot forward specified ports on this VM" メッセージのデバッグ方法
-
[解決済み] 分離された環境を作るにはVagrantとDockerのどちらを使うべきですか?[クローズド]
-
[解決済み】Windows10で内部ネットワークVagrantを開く/作成するのに失敗しました。
-
[解決済み] ホストからVagrantのゲストに単一のファイルをコピーする最も簡単な方法?
-
[解決済み] Vagrant が起動しない。VM を作成したユーザと現在のユーザが一致しません。
-
[解決済み] Vagrantの逆方向ポートフォワーディング?
-
[解決済み] homestead'という名前のVirtualBoxマシンがすでに存在しています。
-
[解決済み] キャッシュにあるvmsのリストを削除する
-
[解決済み] VagrantはどこでVMの変更を保存していますか?