Package: grub2-common Version: 2.00-19 Severity: wishlist File: /usr/sbin/grub-set-default
(info "(grub) Simple configuration") should mention grub-set-default as a quicker way... P.S., The info page mentioned on the grub-set-default man page is missing. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org