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. -- Regards, Pavel Roskin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel