From 527f9b9a8cbc4e44164077a9a7231d6e94588f6f Mon Sep 17 00:00:00 2001
From: Serge van Ginderachter <serge@vanginderachter.be>
Date: Thu, 19 Apr 2018 14:22:43 +0200
Subject: [PATCH] workaround for not working redirect downloading Vagrant image

See hashicorp/vagrant#9442
---
 imperialspeculate/Vagrantfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/imperialspeculate/Vagrantfile b/imperialspeculate/Vagrantfile
index ab03cc9..7646142 100644
--- a/imperialspeculate/Vagrantfile
+++ b/imperialspeculate/Vagrantfile
@@ -1,6 +1,9 @@
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
+# https://github.com/hashicorp/vagrant/issues/9442#issuecomment-363080565  
+Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com')            
+
 # All Vagrant configuration is done below. The "2" in Vagrant.configure
 # configures the configuration version (we support older styles for
 # backwards compatibility). Please don't change it unless you know what