diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2016-02-20 23:29:23 (EST) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2016-02-20 23:29:23 (EST) |
| commit | e692402f658bc55ca4afd5dcc69e5a62ea85355e (patch) | |
| tree | 9271e9538962785cb8adf2c336e10df9d9fbc892 /resources/grub/config | |
| parent | d4f967a1a5aecf96518e32987a2a3e9ae3795ded (diff) | |
| download | libreboot-e692402f658bc55ca4afd5dcc69e5a62ea85355e.zip libreboot-e692402f658bc55ca4afd5dcc69e5a62ea85355e.tar.gz libreboot-e692402f658bc55ca4afd5dcc69e5a62ea85355e.tar.bz2 | |
grub.cfg: also search for coreboot_grub.cfg and autoboot_grub.cfg
Diffstat (limited to 'resources/grub/config')
| -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 b1e3c9c..8c182b3 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. |