Bug#533026: grub2: more straightforward direction in /etc/default/grub

[Colin Watson]

Package: grub2
Version: 1.96+20090523-1
Severity: wishlist
User: ubuntu-devel at 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                                       [cjwatson at ubuntu.com]