diff options
author | Francis Rowe <info@gluglug.org.uk> | 2016-03-03 20:40:48 +0100 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2016-03-03 20:40:48 +0100 |
commit | 6cd26f562dd4765e905cc4569c2ed1ba5d94c346 (patch) | |
tree | 0bcf2b3fa4dc8d4ddfa30b19c76e84c6ad0c4685 /resources/grub | |
parent | c0da4d71c3f38133914dd14a6400c63ef7547421 (diff) | |
download | librebootfr-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.tar.gz librebootfr-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.zip |
grub.cfg: re-add searching for coreboot_grub.cfg
Diffstat (limited to 'resources/grub')
-rw-r--r-- | resources/grub/config/menuentries/common.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg index 06868c43..dc126ba4 100644 --- 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 |