Package: grub2 Version: 1.96+20090523-1 Severity: wishlist User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu karmic
I think it might be useful to have some slightly more straightforward direction in /etc/default/grub. The start of the file currently says: # This file is sourced by update-grub, and its variables are propagated # to its children in /etc/grub.d/ It seems to me that that's a bit oblique about the correct way to deal with editing that file. How about prefacing that with something like this: # If you change this file, run 'update-grub' afterwards to update # /boot/grub/grub.cfg. Thanks, -- Colin Watson [cjwat...@ubuntu.com] -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
