From a341c0b03c514a7a17f7ae7f8f041a3bf3cc3dcb Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Wed, 18 Nov 2015 18:18:38 -0800 Subject: [PATCH] website/docs: document VAGRANT_DFEAULT_PROVIDER [GH-6178] --- .../source/v2/other/environmental-variables.html.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/website/docs/source/v2/other/environmental-variables.html.md b/website/docs/source/v2/other/environmental-variables.html.md index 866b4369a..5ff4e670c 100644 --- a/website/docs/source/v2/other/environmental-variables.html.md +++ b/website/docs/source/v2/other/environmental-variables.html.md @@ -17,6 +17,16 @@ when launching Vagrant from the official installer, you can specify the `VAGRANT_DEBUG_LAUNCHER` environment variable to output debugging information about the launch process. +## VAGRANT\_DEFAULT\_PROVIDER + +This configures the default provider Vagrant will use. + +This normally doesn't need to be set since Vagrant is fairly intelligent +about how to detect the default provider. By setting this, you will force +Vagrant to use this provider for any _new_ Vagrant environments. Existing +Vagrant environments will continue to use the provider they came `up` with. +Once you `vagrant destroy` existing environments, this will take effect. + ## VAGRANT\_CHECKPOINT\_DISABLE Vagrant does occasional network calls to check whether the version of Vagrant