From 0a1f10c829339dddbdc31096a66ed0efef9eb8fa Mon Sep 17 00:00:00 2001 From: Caleb Martinez Date: Fri, 6 Jul 2018 17:51:59 -0400 Subject: [PATCH] Added corresponding documentation Documentation added for proposed environment variable `VAGRANT_USER_AGENT_PROVISIONAL_STRING`. --- website/source/docs/other/environmental-variables.html.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/website/source/docs/other/environmental-variables.html.md b/website/source/docs/other/environmental-variables.html.md index 35fbbb8c0..186f2160d 100644 --- a/website/source/docs/other/environmental-variables.html.md +++ b/website/source/docs/other/environmental-variables.html.md @@ -248,3 +248,7 @@ detection. Vagrant will not display the warning about disabling the core trigger feature if the community plugin is installed. + +## `VAGRANT_USER_AGENT_PROVISIONAL_STRING` + +Vagrant will append the contents of this variable to the default user agent header.