aboutsummaryrefslogtreecommitdiff
path: root/resources/grub/config
diff options
context:
space:
mode:
Diffstat (limited to 'resources/grub/config')
-rw-r--r--resources/grub/config/menuentries/common.cfg1
1 files changed, 1 insertions, 0 deletions
diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg
index b7272594..1748320a 100644
--- a/resources/grub/config/menuentries/common.cfg
+++ b/resources/grub/config/menuentries/common.cfg
@@ -3,6 +3,7 @@ function try_user_config {
for dir in boot grub grub2 boot/grub boot/grub2; do
for name in '' autoboot_ libreboot_ coreboot_; do
if [ -f /"${dir}"/"${name}"grub.cfg ]; then
+ unset supervisors
configfile /"${dir}"/"${name}"grub.cfg
fi
done