From 01baf3d0ec25ffe27990bf9e97cfeae3a323a9f1 Mon Sep 17 00:00:00 2001 From: Bryan Black Date: Fri, 11 May 2018 13:10:09 -0700 Subject: [PATCH] comment out vagrantcloud workaround Making PR https://github.com/stationgroup/vagrant-labs/pull/2 an optional comment for @srgvg. --- imperialspeculate/Vagrantfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/imperialspeculate/Vagrantfile b/imperialspeculate/Vagrantfile index b0f5262..51fed36 100644 --- a/imperialspeculate/Vagrantfile +++ b/imperialspeculate/Vagrantfile @@ -2,7 +2,8 @@ # vi: set ft=ruby : # https://github.com/hashicorp/vagrant/issues/9442#issuecomment-363080565 -Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com') +# Uncomment below if you need the work around. +# 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