From: Alexis Romero <alexis.romero@open-xchange.com>
Date: Fri, 17 Feb 2023 10:13:01 +0000 (+0100)
Subject: workaround for grub error raised after apt-get dist-upgrade
X-Git-Tag: dnsdist-1.8.0-rc1~10^2~1
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=735582e64f176c9fbca3c3fc20c162f6c94ae8cd;p=thirdparty%2Fpdns.git

workaround for grub error raised after apt-get dist-upgrade
---

diff --git a/build-scripts/gh-actions-setup-inv b/build-scripts/gh-actions-setup-inv
index 2a5f441351..05fb9d58bf 100755
--- a/build-scripts/gh-actions-setup-inv
+++ b/build-scripts/gh-actions-setup-inv
@@ -6,6 +6,9 @@ EOF
 "
 sudo chmod 755 /usr/sbin/policy-rc.d
 sudo apt-get update
+# FIXME: Avoid GRUB related errors due to runner image configuration by reinstalling it.
+sudo dpkg --purge --force-all grub-efi-amd64-signed && sudo dpkg --purge --force-all shim-signed
+sudo apt-get autoremove
 sudo apt-get -qq -y dist-upgrade
 sudo apt-get -qq -y --no-install-recommends install python3-pip
 sudo pip3 install git+https://github.com/pyinvoke/invoke@faa5728a6f76199a3da1750ed952e7efee17c1da