bash/deb-update.bash: run the grub fix script if it exists

2022-09-11 14:10:50 +03:00 · 2022-09-11 14:10:50 +03:00 · 4f832ce013
parent 46a7838825
commit 4f832ce013
1 changed files with 6 additions and 0 deletions
--- 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