From fd04ca689f52d8bbef13413b4d285c9ba4d0f038 Mon Sep 17 00:00:00 2001 From: build team Date: Tue, 18 Dec 2018 13:22:12 -0800 Subject: [PATCH 1/1] Use different menuentries for UEK kernel --- util/grub.d/10_linux.in | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in index b54d277..fe8b20f 100644 --- a/util/grub.d/10_linux.in +++ b/util/grub.d/10_linux.in @@ -173,7 +173,12 @@ EOF fi if [ x$type != xsimple ] ; then - title=$(mktitle "$type" "$version") + if echo "$version" | grep -q uek; then + kernel_type_text="with Unbreakable Enterprise Kernel" + else + kernel_type_text="with Linux" + fi + title=$(mktitle "$type" "$version $kernel_type_text") if [ x"$title" = x"$GRUB_ACTUAL_DEFAULT" ] || [ x"Previous Linux versions>$title" = x"$GRUB_ACTUAL_DEFAULT" ]; then replacement_title="$(echo "Advanced options for ${OS}" | sed 's,>,>>,g')>$(echo "$title" | sed 's,>,>>,g')" quoted="$(echo "$GRUB_ACTUAL_DEFAULT" | grub_quote)" -- 1.8.3.1