From d57613684632954a62880ff37fec3ed997145964 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Mon, 12 Jul 2021 14:09:35 +0200
Subject: [PATCH] Update vagrant script to use SHA-256 for apt

---
 provision/provision.vagrant.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/provision/provision.vagrant.sh b/provision/provision.vagrant.sh
index 24060d50..ea125385 100644
--- a/provision/provision.vagrant.sh
+++ b/provision/provision.vagrant.sh
@@ -10,6 +10,12 @@ ruby_version=2.7.2
 
 DISTRO="$(lsb_release -cs)"
 
+# Disable any optimizations for comparing checksums.
+# Otherwise, a hash collision might prevent apt to work correctly
+# https://askubuntu.com/a/1242739
+sudo mkdir -p /etc/gcrypt
+echo all | sudo tee /etc/gcrypt/hwf.deny
+
 # Prerequisites
 sudo apt -qq update
 sudo apt -qq -y install apt-transport-https ca-certificates curl gnupg-agent software-properties-common firefox firefox-geckodriver libpq-dev libicu-dev