- PLD merge - grub 2.02 beta 2, no changes

[packages/grub2.git] / grub2-cfg.patch

diff --git a/grub2-cfg.patch b/grub2-cfg.patch
new file mode 100644 (file)
index 0000000..23ce97b
--- /dev/null
+++ b/grub2-cfg.patch
@@ -0,0 +1,13 @@
+--- docs/grub.cfg.orig 2013-11-10 19:25:04.959888566 +0000
++++ docs/grub.cfg      2013-11-10 19:25:10.260104712 +0000
+@@ -14,8 +14,8 @@
+ # For booting GNU/Linux
+ menuentry "GNU/Linux" --id gnulinux {
+       set root=(hd0,msdos1)
+-      linux /vmlinuz root=/dev/sda1
+-      initrd /initrd.img
++      linux /boot/vmlinuz root=/dev/sda1
++      initrd /boot/initrd
+ }
+ 
+ # For booting GNU/Hurd