From 1721460dcdeb8659b5f9bf23836822e0209150f5 Mon Sep 17 00:00:00 2001 From: Maxime Guyot Date: Fri, 18 Sep 2020 23:48:27 +0200 Subject: [PATCH] Remove vagrant.deb from docker image (#6717) --- test-infra/vagrant-docker/Dockerfile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/test-infra/vagrant-docker/Dockerfile b/test-infra/vagrant-docker/Dockerfile index 5749cd4e8..cebd994d0 100644 --- a/test-infra/vagrant-docker/Dockerfile +++ b/test-infra/vagrant-docker/Dockerfile @@ -9,6 +9,7 @@ ENV VAGRANT_DEFAULT_PROVIDER=libvirt RUN apt-get update && apt-get install -y wget libvirt-dev openssh-client rsync git # Install Vagrant -RUN wget https://releases.hashicorp.com/vagrant/${VAGRANT_VERSION}/vagrant_${VAGRANT_VERSION}_x86_64.deb -RUN dpkg -i vagrant_${VAGRANT_VERSION}_x86_64.deb -RUN vagrant plugin install vagrant-libvirt +RUN wget https://releases.hashicorp.com/vagrant/${VAGRANT_VERSION}/vagrant_${VAGRANT_VERSION}_x86_64.deb && \ + dpkg -i vagrant_${VAGRANT_VERSION}_x86_64.deb && \ + rm vagrant_${VAGRANT_VERSION}_x86_64.deb && \ + vagrant plugin install vagrant-libvirt