author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Sun, 01 Oct 2017 20:50:44 +0300 (2017-10-01) | |
changeset 2197 | 5ee52f8d25b5 |
parent 2196 | 4709306e4ec8 |
child 2199 | 47cadb10f1df |
vagrant.rst | file | annotate | diff | comparison | revisions |
--- /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 +