On Fri, Nov 15, 2013 at 10:05:23AM -0000, Rodolfo Aramayo wrote: > 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 It looks like this would take out /etc/default/grub on your system. Probably best to not purge them. -- 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