# HG changeset patch # User Oleksandr Gavenko # Date 1538939103 -10800 # Node ID 589a1f5f6cbd08a17dd490dd5168fc6ed90501a1 # Parent da95425e3010c006ecfeb3918ed7a18f7f4425e5 Added links. diff -r da95425e3010 -r 589a1f5f6cbd vagrant.rst --- a/vagrant.rst Wed Aug 22 16:04:23 2018 +0300 +++ b/vagrant.rst Sun Oct 07 22:05:03 2018 +0300 @@ -13,6 +13,9 @@ Default is ``~/.vagrant.d`` for Linux and ``%USERPROFILE%\.vagrant.d`` for Windows. https://www.vagrantup.com/docs/other/environmental-variables.html + Environmental Variables. ``VAGRANT_HOME``. +https://www.vagrantup.com/docs/vagrantfile/ + Load Order and Merging. Managing boxes ============== @@ -78,6 +81,9 @@ VAGRANT_LOG=info vagrant ssh VAGRANT_LOG=debug vagrant ssh +https://www.vagrantup.com/docs/other/environmental-variables.html + Environmental Variables. ``VAGRANT_LOG``. + Running individual provisioning scripts =======================================