diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/grub/config/menuentries/common.cfg | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg index 3ac2bf46..e5633719 100644 --- a/resources/grub/config/menuentries/common.cfg +++ b/resources/grub/config/menuentries/common.cfg @@ -11,6 +11,14 @@ menuentry 'Load Operating System' { set root=$x configfile /boot/grub/libreboot_grub.cfg fi + if [ -f "$x/grub/grub.cfg" ] ; then + set root=$x + configfile /grub/grub.cfg + fi + if [ -f "$x/boot/grub/grub.cfg" ] ; then + set root=$x + configfile /boot/grub/grub.cfg + fi done set root='ahci0,1' |