[Bug 478035] Re: grubenv isn't loaded with a separate /boot

[Marc G.]

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 at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs