On Thu, 2008-04-17 at 15:20 -0400, Pavel Roskin wrote: > On Thu, 2008-04-17 at 13:49 +0200, Lubomir Kundrak wrote: > > > > As for /boot/grub, we are not installing anything there on "make > > > install". I don't think it should be transformed. But we could accept > > > a configuration option to change that directory. > > > > We should have a sensible default that wouldn't clash with GRUB Legacy's > > default. > > There is no clash here. Names of all files under /boot/grub are > different, except device.map. But device.map has the same format and is > system specific.
Though I am convinced that directories were invented to avoid mixing apples with oranges (or dead horses, and ponnies, oh well), sharing device.map sounds usable and is a rather good argument. I'll try to rework the patch and taka that into account. -- Lubomir Kundrak (Red Hat Security Response Team) _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
