# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1506880244 -10800
# Node ID 5ee52f8d25b5e1e38cfda6bf3f0171fdbce18f11
# Parent  4709306e4ec8c415899f6ed40c125da100c0bf0b
Changing Vagrant home directory.

diff -r 4709306e4ec8 -r 5ee52f8d25b5 vagrant.rst
--- /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
+