OK, these issues suggested me a workaround for the bug. Here is the recipe:
1. Create a script named rc.fixgrub in /etc with the following content: #!/bin/sh /usr/sbin/grub-set-default 0 2. Make the script executable: sudo chmod +x /etc/rc.fixgrub 3. Create two links to launch the script at shutdown and reboot: sudo cd /etc/rc0.d sudo ln -s ../rc/fixgrub K10fixgrub sudo cd /etc/rc6.d sudo ln -s ../rc/fixgrub K10fixgrub 4. Reboot (or shutdown) and voila... the bug has disappeared (and this is reliable now)! RB -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1311247 Title: [Grubenv] error: malformed file, press any key to continue To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1311247/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
