From e91d9cd17e6f2d150b640204b059680148372649 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Wed, 27 Nov 2019 01:32:31 +0100
Subject: [PATCH] vagrant: fix issue in stretch VM hanging at grub installation

---
 Vagrantfile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index d1382c40b..9ff120a56 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -9,9 +9,10 @@ $wmem = $xdistn * 256  # give the VM additional memory for workers [MB]
 
 def packages_debianoid(user)
   return <<-EOF
-    apt update
-    # install all the (security and other) updates
-    apt dist-upgrade -y
+    # this is to avoid grub asking about which device it should install to:
+    echo "set grub-pc/install_devices /dev/sda" | debconf-communicate
+    apt-get -y -qq update
+    apt-get -y -qq dist-upgrade
     # for building borgbackup and dependencies:
     apt install -y libssl-dev libacl1-dev liblz4-dev libzstd-dev libfuse-dev fuse pkg-config
     usermod -a -G fuse #{user}