Package: grub2 Version: 1.96+20090523-1 Severity: wishlist User: [email protected] 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 [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
