2010-02-18 15:10:48 +01:00
|
|
|
Index: util/grub.d/10_linux.in
|
2010-02-18 15:10:48 +01:00
|
|
|
===================================================================
|
2010-02-18 15:10:48 +01:00
|
|
|
--- util/grub.d/10_linux.in.orig
|
|
|
|
+++ util/grub.d/10_linux.in
|
2010-03-15 00:45:00 +01:00
|
|
|
@@ -84,7 +84,7 @@ EOF
|
|
|
|
printf '%s\n' "${prepare_boot_cache}"
|
2010-02-18 15:10:48 +01:00
|
|
|
cat << EOF
|
2010-03-15 00:45:00 +01:00
|
|
|
echo $(printf "$(gettext "Loading Linux %s ...")" ${version})
|
|
|
|
- linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args}
|
|
|
|
+ linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ${args}
|
2015-04-13 19:58:16 +02:00
|
|
|
EOF
|
|
|
|
if test -n "${initrd}" ; then
|
2010-02-18 15:10:48 +01:00
|
|
|
cat << EOF
|