From c732b836a88c00dc2335d8b26c41d3c375b0a92a Mon Sep 17 00:00:00 2001
From: Maximilian Kratz <maximilian.kratz@es.tu-darmstadt.de>
Date: Wed, 5 Feb 2025 17:28:51 +0100
Subject: [PATCH] Changes `apt-get upgrade` to `dist-upgrade` to include major
 updates

This fixes a broken system state from before.
---
 prov.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prov.sh b/prov.sh
index a54b1c9..30a3cfe 100644
--- a/prov.sh
+++ b/prov.sh
@@ -27,7 +27,7 @@ log "Start provisioning."
 # Updates
 log "Installing updates."
 sudo apt-get update
-sudo apt-get upgrade -y
+sudo apt-get dist-upgrade -y
 
 # Java/JDK21
 log "Installing OpenJDK."