diff options
author | Victor Morales <victor.morales@intel.com> | 2018-04-03 10:39:21 -0700 |
---|---|---|
committer | Victor Morales <victor.morales@intel.com> | 2018-04-03 10:39:21 -0700 |
commit | f3ea32005aafd12f539e476315e8936e802e4c52 (patch) | |
tree | 282579e09cadac36da69820ad30647017dfe20a1 /tools/setup.sh | |
parent | 294a3567d7363e2cac4cb6be8cb5aac7b7b9d1f0 (diff) |
Revert Default vagrant provider
Vagrant client has changed the DEFAULT_SERVER_URL string type for a
constant[1]. This change is available since v2.0.3 and causes an
error in those clients so it's necessary to revert the change
I069eae9370ecdf1483098528cee57d9b3e81a41b which modifies that value.
[1] https://github.com/hashicorp/vagrant/commit/f2bf18e56be36ed4bfbfe42fe20ab9147910ab3f
Change-Id: I153a7adb9322244c34a55dd884cb75e158dfd54d
Signed-off-by: Victor Morales <victor.morales@intel.com>
Issue-ID: INT-434
Diffstat (limited to 'tools/setup.sh')
-rwxr-xr-x | tools/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setup.sh b/tools/setup.sh index fe3a3fc..565e989 100755 --- a/tools/setup.sh +++ b/tools/setup.sh @@ -8,7 +8,7 @@ # http://www.apache.org/licenses/LICENSE-2.0 ############################################################################## -vagrant_version=2.0.2 +vagrant_version=2.0.3 function usage { cat <<EOF |