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 (and file-server backup size increases).
So is there any way to move at least ~/vagrant.d/boxes out of the home directory?
Cheers.
Best Answer
By default Vagrant uses
~/.vagrant.d
. Fortunately, vagrant provides an environment variable calledVAGRANT_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