[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix file name transformations (mostly)
From: |
Lubomir Kundrak |
Subject: |
Re: [PATCH] Fix file name transformations (mostly) |
Date: |
Fri, 18 Apr 2008 08:41:00 +0200 |
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)