Update third party librairies and tools (#6669)

This commit is contained in:
Florian Ruynat
2020-09-17 11:36:46 +02:00
committed by GitHub
parent 04932f496f
commit 705ad84ce7
7 changed files with 12 additions and 13 deletions

View File

@@ -1,6 +1,6 @@
#!/bin/bash
set -euxo pipefail
curl -sL "https://releases.hashicorp.com/vagrant/2.2.4/vagrant_${VAGRANT_VERSION}_x86_64.deb" -o "/tmp/vagrant_${VAGRANT_VERSION}_x86_64.deb"
curl -sL "https://releases.hashicorp.com/vagrant/${VAGRANT_VERSION}/vagrant_${VAGRANT_VERSION}_x86_64.deb" -o "/tmp/vagrant_${VAGRANT_VERSION}_x86_64.deb"
dpkg -i "/tmp/vagrant_${VAGRANT_VERSION}_x86_64.deb"
vagrant validate --ignore-provider