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?
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?