From 447e58dac3edc77f655379729d172a3503d7019c Mon Sep 17 00:00:00 2001
From: Caleb Martinez <accounts@calebmartinez.com>
Date: Thu, 28 Jun 2018 13:21:34 -0400
Subject: [PATCH] Added option to add to User-Agent

---
 lib/vagrant/util/downloader.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/vagrant/util/downloader.rb b/lib/vagrant/util/downloader.rb
index 285f83b75..9677b90e8 100644
--- a/lib/vagrant/util/downloader.rb
+++ b/lib/vagrant/util/downloader.rb
@@ -17,7 +17,7 @@ module Vagrant
       # are properly tracked.
       #
       #     Vagrant/1.7.4 (+https://www.vagrantup.com; ruby2.1.0)
-      USER_AGENT = "Vagrant/#{VERSION} (+https://www.vagrantup.com; #{RUBY_ENGINE}#{RUBY_VERSION})".freeze
+      USER_AGENT = "Vagrant/#{VERSION} (+https://www.vagrantup.com; #{RUBY_ENGINE}#{RUBY_VERSION}) #{ENV['VAGRANT_USER_AGENT_PROVISIONAL_STRING']}".freeze
 
       # Supported file checksum
       CHECKSUM_MAP = {