| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Fri, 20 Oct 2017 18:03:16 +0300 | |
| changeset 2200 | 75f1bafcfe41 |
| parent 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