vagrant.d outside of the home folder

前端 未结 7 1659
野性不改
野性不改 2020-12-04 07:29

I\'ve the problem that my home directory is actually located on a remote server and with ~/.vagrant.d sitting on that server, the performance of vagrant decreases heavily (a

相关标签:
7条回答
  • 2020-12-04 08:21

    By default Vagrant uses ~/.vagrant.d. Fortunately, vagrant provides an environment variable called VAGRANT_HOME by which you can set vagrant home.

    Just do the following to change the vagrant home (this only works in the current session)

    export VAGRANT_HOME=/path/to/vagrant

    To make it permanent, add this to your ~/.bash_profile (for login shell).

    Update: VAGRANT_HOME has been added to the documentation - Environmental Variables

    VAGRANT_HOME can be set to change the directory where Vagrant stores global state. By default, this is set to ~/.vagrant.d. The Vagrant home directory is where things such as boxes are stored, so it can actually become quite large on disk.

    0 讨论(0)
提交回复
热议问题