diff options
| -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 |