libreboot

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

commit 6cd26f562dd4765e905cc4569c2ed1ba5d94c346
parent c0da4d71c3f38133914dd14a6400c63ef7547421
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Thu,  3 Mar 2016 20:40:48 +0100

grub.cfg: re-add searching for coreboot_grub.cfg

Diffstat:
resources/grub/config/menuentries/common.cfg | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg @@ -1,7 +1,7 @@ function try_user_config { set root="${1}" for dir in boot grub grub2 boot/grub boot/grub2; do - for name in '' autoboot_ libreboot_; do + for name in '' autoboot_ libreboot_ coreboot_; do if [ -f /"${dir}"/"${name}"grub.cfg ]; then configfile /"${dir}"/"${name}"grub.cfg fi