Merge pull request coreos#619 from dustymabe/dusty-console-cfg

grub2: source in a console.cfg file if exists
HuijingHei · Feb 21, 2024 · 11d2606 · 11d2606
2 parents 18e730f + 38b9716
commit 11d2606
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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