diff options
Diffstat (limited to 'debian/Vagrantfile')
| -rw-r--r-- | debian/Vagrantfile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debian/Vagrantfile b/debian/Vagrantfile index edcd53c..2b38b0f 100644 --- a/debian/Vagrantfile +++ b/debian/Vagrantfile @@ -77,8 +77,10 @@ echo 'StreamLocalBindUnlink yes' >> /etc/ssh/sshd_config config.vm.provision "shell", inline: <<-SHELL #!/usr/bin/env bash set -o errexit -o nounset -o pipefail -apt-get update && apt-get install -y make -cd /vagrant/debian && make deps +apt update +DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends make +cd /vagrant/debian +make deps SHELL config.vm.provision :reload |