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
|
|
|
|
@@ -49,7 +49,7 @@ menuentry "$1" {
|
2010-02-18 15:10:48 +01:00
|
|
|
EOF
|
2010-02-18 15:10:48 +01:00
|
|
|
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
|
|
|
|
cat << EOF
|
|
|
|
- linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro $2
|
|
|
|
+ linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} $2
|
2015-04-13 19:58:16 +02:00
|
|
|
EOF
|
|
|
|
if test -n "${initrd}" ; then
|
2010-02-18 15:10:48 +01:00
|
|
|
cat << EOF
|