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