Hi Johannes, Can you please send the contents of /boot/grub/default on your system?
It appears from this output that the first line of this file is 'default'. It makes no sense to declare a default of "default"; perhaps seeing the full contents of the file, we can figure out how it got that way. Hmm, apparently 'grub-set-default default' is a supported command - but I wonder what it's supposed to mean? Did you run this command at some point? -- update-grub fails when default is "saved" https://bugs.launchpad.net/bugs/193439 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
