aboutsummaryrefslogtreecommitdiff
path: root/resources/grub/config/menuentries
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2016-03-03 20:40:48 +0100
committerFrancis Rowe <info@gluglug.org.uk>2016-03-03 20:40:48 +0100
commit6cd26f562dd4765e905cc4569c2ed1ba5d94c346 (patch)
tree0bcf2b3fa4dc8d4ddfa30b19c76e84c6ad0c4685 /resources/grub/config/menuentries
parentc0da4d71c3f38133914dd14a6400c63ef7547421 (diff)
downloadlibrebootfr-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.tar.gz
librebootfr-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.zip
grub.cfg: re-add searching for coreboot_grub.cfg
Diffstat (limited to 'resources/grub/config/menuentries')
-rw-r--r--resources/grub/config/menuentries/common.cfg2
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