Comment 5 for bug 1090841

Revision history for this message
Dominic Rose (ofusiono) wrote :

It does work! Thank you. I also found a small issue with the default system configuration in boot-repair. In the generated config file in /etc/default/grub, the parameter DEFAULT="..." included a bit of code instead of just the name of the OS.