diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/grub/config/menuentries/common.cfg | 1 |
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 |