I had't read this thread when I posted my email "comments about /etc/default/grub"
On Tue, 2008-02-12 at 08:23 +0100, Yoshinori K. Okuji wrote: > On Tuesday 12 February 2008 06:51, Pavel Roskin wrote: > > All grub binaries installed in $prefix/bin and $prefix/sbin start with > > "grub-" except mbchk and update-grub. mbchk is probably not meant to > > be grub specific, but update-grub is. > > > > I think it would be logical to rename update-grub to grub-update. > > Objections? > > If you rename it, I want to select a more appropriate name, such as > grub-update-config. The current name doesn't tell me what it will update. What about renaming /etc/default/grub as /etc/grub-update-config.cfg ? Franklin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
