author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Sun, 01 Oct 2017 20:50:44 +0300 | |
changeset 2197 | 5ee52f8d25b5 |
child 2201 | af2d2e117b4e |
permissions | -rw-r--r-- |
========= 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