Stéphane, Steve, I have a last question for you
Am I likely to damage my system if I, after deleting grub-pc and grub- pc-bin I now purge those packages? This is: apt-get purge grub-pc apt-get purge grub-pc-bin and, related question can one purge a package that has not been deleted? or is this likely to produce damage? Thanks -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1250611 Title: shim-signed update unrecognized option To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/shim-signed/+bug/1250611/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
