I agree this shouldn't be Wishlist. I mentioned one other thing that would be nice to have when fixing an enormous error, and that was a mistake.
grub-install un-installs things. That's a big bug. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1568050 Title: grub-install removes other EFI boot entries To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1568050/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs