From 4f832ce013baa0f176fd048c4a3e65a091de779f Mon Sep 17 00:00:00 2001 From: Aminda Suomalainen Date: Sun, 11 Sep 2022 14:10:50 +0300 Subject: [PATCH] bash/deb-update.bash: run the grub fix script if it exists --- bash/deb-update.bash | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/bash/deb-update.bash b/bash/deb-update.bash index 2a3e724..b91f7ed 100755 --- a/bash/deb-update.bash +++ b/bash/deb-update.bash @@ -103,5 +103,11 @@ if hash needrestart 2>/dev/null; then needrestart -b fi +# Sedric workaround, located in this repo. I trust /root/ +if [ -f /root/fixgrub.bash ] +then + /root/fixgrub.bash +fi + # Hide commands being executed again set +x