Changing Vagrant home directory.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Sun, 01 Oct 2017 20:50:44 +0300
changeset 2197 5ee52f8d25b5
parent 2196 4709306e4ec8
child 2199 47cadb10f1df
Changing Vagrant home directory.
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
+