You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
34 lines
1.3 KiB
34 lines
1.3 KiB
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001 |
|
From: Nicolas Frayer <nfrayer@redhat.com> |
|
Date: Wed, 24 May 2023 11:22:47 +0200 |
|
Subject: [PATCH] util: Enable default kernel for updates |
|
|
|
Several kernel variants can be installed on a system in parallel. |
|
In order to allow the user to choose which kernel will be set to |
|
default after an update, re-enable grub's usage of DEFAULTKERNEL as |
|
set in /etc/sysconfig/kernel |
|
|
|
Signed-off-by: Nicolas Frayer <nfrayer@redhat.com> |
|
--- |
|
util/grub-get-kernel-settings.in | 8 ++++++++ |
|
1 file changed, 8 insertions(+) |
|
|
|
diff --git a/util/grub-get-kernel-settings.in b/util/grub-get-kernel-settings.in |
|
index 7e87dfccc0..f71bc64360 100644 |
|
--- a/util/grub-get-kernel-settings.in |
|
+++ b/util/grub-get-kernel-settings.in |
|
@@ -68,6 +68,14 @@ if test -f /etc/sysconfig/kernel ; then |
|
. /etc/sysconfig/kernel |
|
fi |
|
|
|
+GRUB_DEFAULT_KERNEL_TYPE=${DEFAULTKERNEL/-core/} |
|
+if [ "$GRUB_DEFAULT_KERNEL_TYPE" != "kernel" ]; then |
|
+ echo GRUB_NON_STANDARD_KERNEL=true |
|
+ echo export GRUB_NON_STANDARD_KERNEL |
|
+ GRUB_DEFAULT_KERNEL_TYPE=${GRUB_DEFAULT_KERNEL_TYPE/kernel-/} |
|
+fi |
|
+echo GRUB_DEFAULT_KERNEL_TYPE=$GRUB_DEFAULT_KERNEL_TYPE |
|
+echo export GRUB_DEFAULT_KERNEL_TYPE |
|
if [ "$MAKEDEBUG" = "yes" ]; then |
|
echo GRUB_LINUX_MAKE_DEBUG=true |
|
echo export GRUB_LINUX_MAKE_DEBUG
|
|
|