2018-04-11 18:42:03 +00:00
|
|
|
From 793d4270384ef3373bc0b3c956cab8a8cdb75bcf Mon Sep 17 00:00:00 2001
|
2012-07-25 13:34:55 +00:00
|
|
|
From: Peter Jones <pjones@redhat.com>
|
|
|
|
Date: Mon, 16 Jul 2012 18:57:11 -0400
|
2018-05-10 15:48:20 +00:00
|
|
|
Subject: [PATCH 083/238] Use "linuxefi" and "initrdefi" where appropriate.
|
2012-07-25 13:34:55 +00:00
|
|
|
|
|
|
|
---
|
2013-05-02 20:54:52 +00:00
|
|
|
util/grub.d/10_linux.in | 18 ++++++++++++++++--
|
2012-07-25 13:34:55 +00:00
|
|
|
1 file changed, 16 insertions(+), 2 deletions(-)
|
|
|
|
|
|
|
|
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
|
2018-02-27 18:56:41 +00:00
|
|
|
index cf6331f2a51..8ccf012f747 100644
|
2012-07-25 13:34:55 +00:00
|
|
|
--- a/util/grub.d/10_linux.in
|
|
|
|
+++ b/util/grub.d/10_linux.in
|
2016-03-04 18:32:29 +00:00
|
|
|
@@ -129,17 +129,31 @@ linux_entry ()
|
2012-07-25 13:34:55 +00:00
|
|
|
printf '%s\n' "${prepare_boot_cache}" | sed "s/^/$submenu_indentation/"
|
|
|
|
fi
|
|
|
|
message="$(gettext_printf "Loading Linux %s ..." ${version})"
|
|
|
|
- sed "s/^/$submenu_indentation/" << EOF
|
|
|
|
+ if [ -d /sys/firmware/efi ]; then
|
|
|
|
+ sed "s/^/$submenu_indentation/" << EOF
|
2013-05-02 20:54:52 +00:00
|
|
|
+ echo '$(echo "$message" | grub_quote)'
|
2012-07-25 13:34:55 +00:00
|
|
|
+ linuxefi ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args}
|
|
|
|
+EOF
|
|
|
|
+ else
|
|
|
|
+ sed "s/^/$submenu_indentation/" << EOF
|
2013-05-02 20:54:52 +00:00
|
|
|
echo '$(echo "$message" | grub_quote)'
|
2012-07-25 13:34:55 +00:00
|
|
|
linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args}
|
|
|
|
EOF
|
|
|
|
+ fi
|
|
|
|
if test -n "${initrd}" ; then
|
|
|
|
# TRANSLATORS: ramdisk isn't identifier. Should be translated.
|
|
|
|
message="$(gettext_printf "Loading initial ramdisk ...")"
|
|
|
|
- sed "s/^/$submenu_indentation/" << EOF
|
|
|
|
+ if [ -d /sys/firmware/efi ]; then
|
|
|
|
+ sed "s/^/$submenu_indentation/" << EOF
|
2013-05-02 20:54:52 +00:00
|
|
|
echo '$(echo "$message" | grub_quote)'
|
2012-07-25 13:34:55 +00:00
|
|
|
+ initrdefi ${rel_dirname}/${initrd}
|
|
|
|
+EOF
|
|
|
|
+ else
|
|
|
|
+ sed "s/^/$submenu_indentation/" << EOF
|
2013-05-02 20:54:52 +00:00
|
|
|
+ echo '$message'
|
2012-07-25 13:34:55 +00:00
|
|
|
initrd ${rel_dirname}/${initrd}
|
|
|
|
EOF
|
|
|
|
+ fi
|
|
|
|
fi
|
|
|
|
sed "s/^/$submenu_indentation/" << EOF
|
|
|
|
}
|
|
|
|
--
|
2018-05-10 15:48:20 +00:00
|
|
|
2.17.0
|
2012-07-25 13:34:55 +00:00
|
|
|
|