Added corresponding documentation

Documentation added for proposed environment variable `VAGRANT_USER_AGENT_PROVISIONAL_STRING`.
This commit is contained in:
Caleb Martinez 2018-07-06 17:51:59 -04:00 committed by GitHub
parent 447e58dac3
commit 0a1f10c829
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -248,3 +248,7 @@ detection.
Vagrant will not display the warning about disabling the core trigger feature if Vagrant will not display the warning about disabling the core trigger feature if
the community plugin is installed. the community plugin is installed.
## `VAGRANT_USER_AGENT_PROVISIONAL_STRING`
Vagrant will append the contents of this variable to the default user agent header.