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.
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.