Run an additional apt-get update ad development provision script

diff --git a/share/provision/development b/share/provision/development
index 0d6f669ae32bf31a06ada3759d5462aceca2e37b..9ca79b13322aca3d2a89dc40ef24654cb3438806 100755 (executable)
--- a/share/provision/development
+++ b/share/provision/development
@@ -34,6 +34,7 @@ sudo sysctl kernel.unprivileged_bpf_disabled=1
 echo "kernel.unprivileged_bpf_disabled=1" | sudo tee /etc/sysctl.d/kernel.unprivileged_bpf_disabled.conf > /dev/null
 
 # Configuring APT
+sudo apt-get update
 $APT_INSTALL apt-transport-https || exit 1
 sudo sed -i -e "s|http://http.debian.net|https://deb.debian.org|g" /etc/apt/sources.list || exit 1
 sudo sed -i -e "s|http://deb.debian.org|https://deb.debian.org|g"  /etc/apt/sources.list || exit 1