libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 4cd66b8b15d50f811d51ce36921fbb6d30ece653
parent e1d8c6060215cbe2beccc977604301dcdb3394ca
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Sat, 11 Jul 2015 03:52:49 +0100

grub.cfg: switch to on-disk grub.cfg if it exists

Diffstat:
resources/grub/config/menuentries/common.cfg | 8++++++++
1 file changed, 8 insertions(+), 0 deletions(-)

diff --git 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'