2010-02-18 14:10:48 +00:00
|
|
|
Index: util/grub.d/10_linux.in
|
|
|
|
|
===================================================================
|
|
|
|
|
--- util/grub.d/10_linux.in.orig
|
|
|
|
|
+++ util/grub.d/10_linux.in
|
2010-03-14 23:45:00 +00:00
|
|
|
@@ -84,7 +84,7 @@ EOF
|
|
|
|
|
printf '%s\n' "${prepare_boot_cache}"
|
2010-02-18 14:10:48 +00:00
|
|
|
cat << EOF
|
2010-03-14 23:45:00 +00: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}
|
2010-02-18 14:10:48 +00:00
|
|
|
EOF
|
|
|
|
|
if test -n "${initrd}" ; then
|
|
|
|
|
cat << EOF
|
