29 lines
1.0 KiB
Diff
29 lines
1.0 KiB
Diff
|
--- grub-2.04/util/grub.d/10_linux.in.orig 2022-07-09 11:36:06.424051173 +0200
|
||
|
|
+++ grub-2.04/util/grub.d/10_linux.in 2022-07-09 11:48:54.914573836 +0200
|
||
|
|
@@ -31,7 +31,7 @@
|
||
|
|
if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
|
||
|
|
OS=GNU/Linux
|
||
|
|
else
|
||
|
|
- OS="${GRUB_DISTRIBUTOR} GNU/Linux"
|
||
|
|
+ OS="${GRUB_DISTRIBUTOR}"
|
||
|
|
CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}"
|
||
|
|
fi
|
||
|
|
|
||
|
|
@@ -138,7 +138,7 @@
|
||
|
|
fi
|
||
|
|
printf '%s\n' "${prepare_boot_cache}" | sed "s/^/$submenu_indentation/"
|
||
|
|
fi
|
||
|
|
- message="$(gettext_printf "Loading Linux %s ..." ${version})"
|
||
|
|
+ message="$(gettext_printf "%s starting ..." "${OS}")"
|
||
|
|
sed "s/^/$submenu_indentation/" << EOF
|
||
|
|
echo '$(echo "$message" | grub_quote)'
|
||
|
|
linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args}
|
||
|
|
@@ -151,7 +151,6 @@
|
||
|
|
initrd_path="${initrd_path} ${rel_dirname}/${i}"
|
||
|
|
done
|
||
|
|
sed "s/^/$submenu_indentation/" << EOF
|
||
|
|
- echo '$(echo "$message" | grub_quote)'
|
||
|
|
initrd $(echo $initrd_path)
|
||
|
|
EOF
|
||
|
|
fi
|