libreboot

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

commit 7824eb7a272a8bea7305337fa2925fdf3c72e956
parent 698e6ea2df1f04a46b3cc3621734bb49652a61c5
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Fri,  5 Jun 2015 00:38:11 +0100

grub.cfg: also look for /boot/vmlinuz and /boot/initrd.img

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

diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg @@ -14,9 +14,16 @@ menuentry 'Load Operating System' { done set root='ahci0,1' - linux /vmlinuz root=/dev/sda1 rw - if [ -f "/initrd.img" ] ; then - initrd /initrd.img + if [ -f "/vmlinuz" ] ; then + linux /vmlinuz root=/dev/sda1 rw + if [ -f "/initrd.img" ] ; then + initrd /initrd.img + fi + elif [ -f "/boot/vmlinuz" ] ; then + linux /boot/vmlinuz root=/dev/sda1 rw + if [ -f "/boot/initrd.img" ] ; then + initrd /boot/initrd.img + fi fi } menuentry 'Parse ISOLINUX menu (ahci0)' {