grub: look for any way to set default menu item

This prepares the ability to write and read the default menu item from the grubenv file. If grub.cfg contains a line like '^default=id', then the read value is not used. Setting the default menu item from the grubenv file will be indented inside the 'if' optator and therefore does not match the '^default' pattern.

grub: look for any way to set default menu item
aed27a30 · Evgeny Sinelnikov · Dmitriy Terekhin · 8354c1bb · aed27a30
Commit aed27a30 authored May 19, 2021 by Evgeny Sinelnikov Committed by Dmitriy Terekhin May 19, 2021
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

01-grub features.in/grub/stage1/scripts.d/01-grub +1 -1

No files found.
--- a/features.in/grub/stage1/scripts.d/01-grub
+++ b/features.in/grub/stage1/scripts.d/01-grub
@@ -36,7 +36,7 @@ if [ -n "$GLOBAL_GRUB_DEFAULT" ]; then
 		exit 1
 	fi
 fi
-if ! grep -i '^default' "$CFG"; then
+if ! grep -i '^\s*\(set\s\+\)\?default=' "$CFG"; then
 	DEFAULT="$(grep -i '\-\-id ' "$CFG" | head -1 | rev| cut -f2 -d' ' |rev)"
 	if [ -n "$DEFAULT" ]; then
 		echo "default=$DEFAULT" >> "$CFG"