|
 |
f731ee |
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
f731ee |
From: Peter Jones <pjones@redhat.com>
|
|
|
f731ee |
Date: Thu, 25 Aug 2016 14:15:29 -0400
|
|
|
f731ee |
Subject: [PATCH] Export grub-get-kernel-settings variables
|
|
|
f731ee |
|
|
|
f731ee |
Without this export, the generators for various configs never get the
|
|
|
f731ee |
setting.
|
|
|
f731ee |
|
|
|
f731ee |
Related: rhbz#1226325
|
|
|
f731ee |
|
|
|
f731ee |
Signed-off-by: Peter Jones <example@example.com>
|
|
|
f731ee |
---
|
|
|
f731ee |
util/grub-get-kernel-settings.in | 3 +++
|
|
|
f731ee |
util/grub.d/10_linux.in | 6 +++---
|
|
|
f731ee |
2 files changed, 6 insertions(+), 3 deletions(-)
|
|
|
f731ee |
|
|
|
f731ee |
diff --git a/util/grub-get-kernel-settings.in b/util/grub-get-kernel-settings.in
|
|
|
f731ee |
index 6a68a0ef664..12046219878 100644
|
|
|
f731ee |
--- a/util/grub-get-kernel-settings.in
|
|
|
f731ee |
+++ b/util/grub-get-kernel-settings.in
|
|
|
f731ee |
@@ -70,6 +70,9 @@ fi
|
|
|
f731ee |
|
|
|
f731ee |
if [ "$MAKEDEBUG" = "yes" ]; then
|
|
|
f731ee |
echo GRUB_LINUX_MAKE_DEBUG=true
|
|
|
f731ee |
+ echo export GRUB_LINUX_MAKE_DEBUG
|
|
|
f731ee |
echo GRUB_CMDLINE_LINUX_DEBUG=\"systemd.log_level=debug systemd.log_target=kmsg\"
|
|
|
f731ee |
+ echo export GRUB_CMDLINE_LINUX_DEBUG
|
|
|
f731ee |
echo GRUB_LINUX_DEBUG_TITLE_POSTFIX=\" with debugging\"
|
|
|
f731ee |
+ echo export GRUB_LINUX_DEBUG_TITLE_POSTFIX
|
|
|
f731ee |
fi
|
|
|
f731ee |
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
|
|
|
f731ee |
index 0d0086d3b6a..bf0fb727bcd 100644
|
|
|
f731ee |
--- a/util/grub.d/10_linux.in
|
|
|
f731ee |
+++ b/util/grub.d/10_linux.in
|
|
|
f731ee |
@@ -127,13 +127,13 @@ linux_entry ()
|
|
|
f731ee |
quoted="$(echo "$GRUB_ACTUAL_DEFAULT" | grub_quote)"
|
|
|
f731ee |
title_correction_code="${title_correction_code}if [ \"x\$default\" = '$quoted' ]; then default='$(echo "$replacement_title" | grub_quote)'; fi;"
|
|
|
f731ee |
fi
|
|
|
f731ee |
+ if [ x$isdebug = xdebug ]; then
|
|
|
f731ee |
+ title="$title${GRUB_LINUX_DEBUG_TITLE_POSTFIX}"
|
|
|
f731ee |
+ fi
|
|
|
f731ee |
echo "menuentry '$(echo "$title" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-$version-$type-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
|
|
|
f731ee |
else
|
|
|
f731ee |
echo "menuentry '$(echo "$os" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
|
|
|
f731ee |
fi
|
|
|
f731ee |
- if [ x$isdebug = xdebug ]; then
|
|
|
f731ee |
- title="$title${GRUB_LINUX_DEBUG_TITLE_POSTFIX}"
|
|
|
f731ee |
- fi
|
|
|
f731ee |
if [ x$type != xrecovery ] ; then
|
|
|
f731ee |
save_default_entry | grub_add_tab
|
|
|
f731ee |
fi
|