vagrant.rst
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
+