[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix file name transformations (mostly)
|
From: |
Pavel Roskin |
|
Subject: |
Re: [PATCH] Fix file name transformations (mostly) |
|
Date: |
Thu, 17 Apr 2008 15:20:29 -0400 |
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