changeset 2197 | 5ee52f8d25b5 |
child 2201 | af2d2e117b4e |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/vagrant.rst Sun Oct 01 20:50:44 2017 +0300 @@ -0,0 +1,16 @@ + +========= + Vagrant +========= + +Changing Vagrant home directory +=============================== + +Set ``VAGRANT_HOME`` env var, like:: + + VAGRANT_HOME=d:\srv\vagrant + +Default is ``~/.vagrant.d`` for Linux and ``%USERPROFILE%\.vagrant.d`` for Windows. + +https://www.vagrantup.com/docs/other/environmental-variables.html +