grub-devel
[Top][All Lists]
Advanced

[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)





reply via email to

[Prev in Thread] Current Thread [Next in Thread]