On Mon, Jun 30, 2014 at 12:51 PM, Chris Murphy <lists(a)colorremedies.com> wrote:
I'm totally guessing, but since /etc/default/grub is the same on working and not
working systems, this implicates grubenv. What I'm not sure of is the proper way to
obliterate it and make sure it gets recreated correctly. I think you could just delete it,
and then:
You can delete it or you can use grub2-editenv to list or unset variables.