Well, two years have passed and nothing have been done to make life easier.
As usual, though. -- update-grub does not update 'default' option when the number of boot options changes https://bugs.launchpad.net/bugs/103297 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
