diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-07-11 03:52:49 +0100 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-07-11 03:52:49 +0100 |
commit | 4cd66b8b15d50f811d51ce36921fbb6d30ece653 (patch) | |
tree | 01993e7206d9dda4eda9b4a1761a10c70389532e /resources/grub/config/menuentries | |
parent | e1d8c6060215cbe2beccc977604301dcdb3394ca (diff) | |
download | librebootfr-4cd66b8b15d50f811d51ce36921fbb6d30ece653.tar.gz librebootfr-4cd66b8b15d50f811d51ce36921fbb6d30ece653.zip |
grub.cfg: switch to on-disk grub.cfg if it exists
Diffstat (limited to 'resources/grub/config/menuentries')
-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' |