diff --git a/src/grub2/grub-static-pre.cfg b/src/grub2/grub-static-pre.cfg index 7784834d..9717cfb9 100644 --- a/src/grub2/grub-static-pre.cfg +++ b/src/grub2/grub-static-pre.cfg @@ -38,6 +38,11 @@ elif [ -s $prefix/grubenv ]; then load_env fi +if [ -f $prefix/console.cfg ]; then + # Source in any GRUB console settings if provided by the user/platform + source $prefix/console.cfg +fi + if [ x"${feature_menuentry_id}" = xy ]; then menuentry_id_option="--id" else