Yes, "grub | grub-pc" means that it will install grub-pc if grub isn't found - ie, grub is a preferred alternative to grub-pc.
However, in Ubuntu we have "grub-pc | grub", which means that grub will be installed if grub-pc isn't found - ie, grub-pc is a preferred alternative to grub. This is fundamentally different to Debian. If you can justify dropping the change there, then it can be sync'd. However, if you can't justify dropping this change, then it must be merged instead. -- Please sync startupmanager 1.9.13-4 (universe) from Debian testing (main) https://bugs.launchpad.net/bugs/475269 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
