From e692402f658bc55ca4afd5dcc69e5a62ea85355e Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Sun, 21 Feb 2016 04:29:23 +0000 Subject: grub.cfg: also search for coreboot_grub.cfg and autoboot_grub.cfg --- resources/grub/config/menuentries/common.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'resources') diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg index b1e3c9c3..8c182b3e 100644 --- a/resources/grub/config/menuentries/common.cfg +++ b/resources/grub/config/menuentries/common.cfg @@ -1,7 +1,7 @@ function switch_to_grub_config { set root="${1}" # a) Check possible file locations... - for p in boot/grub/libreboot_ grub/libreboot_ boot/grub/ grub/ boot/grub2 grub2/; do + for p in boot/grub/coreboot_ grub/coreboot_ boot/grub/libreboot_ grub/libreboot_ boot/grub/autoboot_ grub/autoboot_ boot/grub/ grub/ boot/grub2 grub2/; do if [ -f "/${p}grub.cfg" ]; then # b) And eventually try to load the config. Using ESC one can still exit and revert back to # libreboot's menu. -- cgit v1.2.3-70-g09d2