The second patch (the "simple" one) also works on my system. For information, I had to do an "update-grub" after patching the file so that the modification take effect.
thanks. -- grubenv isn't loaded with a separate /boot https://bugs.launchpad.net/bugs/478035 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
