420527
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
420527
From: Peter Jones <pjones@redhat.com>
420527
Date: Thu, 11 Oct 2018 15:31:04 -0400
420527
Subject: [PATCH] grub-get-kernel-settings: expose some more config variables
420527
420527
This exposes MAKEDEFAULT as GRUB_UPDATE_DEFAULT_KERNEL and DEFAULTDEBUG as
420527
GRUB_DEFAULT_TO_DEBUG
420527
420527
Related: rhbz#1638117
420527
Signed-off-by: Peter Jones <pjones@redhat.com>
420527
---
420527
 util/grub-get-kernel-settings.in | 10 ++++++++++
420527
 1 file changed, 10 insertions(+)
420527
420527
diff --git a/util/grub-get-kernel-settings.in b/util/grub-get-kernel-settings.in
420527
index 12046219878..7e87dfccc0e 100644
420527
--- a/util/grub-get-kernel-settings.in
420527
+++ b/util/grub-get-kernel-settings.in
420527
@@ -76,3 +76,13 @@ if [ "$MAKEDEBUG" = "yes" ]; then
420527
     echo GRUB_LINUX_DEBUG_TITLE_POSTFIX=\" with debugging\"
420527
     echo export GRUB_LINUX_DEBUG_TITLE_POSTFIX
420527
 fi
420527
+if [ "$DEFAULTDEBUG" = "yes" ]; then
420527
+    echo GRUB_DEFAULT_TO_DEBUG=true
420527
+else
420527
+    echo GRUB_DEFAULT_TO_DEBUG=false
420527
+fi
420527
+echo export GRUB_DEFAULT_TO_DEBUG
420527
+if [ "$UPDATEDEFAULT" = "yes" ]; then
420527
+    echo GRUB_UPDATE_DEFAULT_KERNEL=true
420527
+    echo export GRUB_UPDATE_DEFAULT_KERNEL
420527
+fi