30 Jun
2014
30 Jun
'14
1:28 p.m.
On Mon, Jun 30, 2014 at 12:51 PM, Chris Murphy lists@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.