[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: comments about /etc/default/grub
From: |
Pavel Roskin |
Subject: |
Re: comments about /etc/default/grub |
Date: |
Tue, 12 Feb 2008 17:55:10 -0500 |
On Tue, 2008-02-12 at 12:47 +0100, Robert Millan wrote:
> I suppose a distro-agnostic template should really be added, but I
> didn't
> find an ellegant way to solve the GRUB_DISTRIBUTOR "problem".
>
> For other reasons, I was thinking in a directory (let's call it
> /etc/grub.source.d/) where add-ons are sourced rather than executed.
Let's use the same grub.d (in /usr/local/etc for local install and
in /etc for system install). What we need is a site template and a
vendor template.
I think the templates should be sourced before 00_header. Maybe the
numbers should be shifted, so that we have 10_site, 20_vendor, 30_header
etc and still have gaps for more stuff. Or the templates should have a
distinctive suffix.
The assignments should be careful to preserve already set variables.
The assignments should be written like this:
: ${GRUB_CMDLINE_LINUX=foo=bar quux=1}
In some cases, appending more stuff would be preferred, but for
GRUB_CMDLINE_LINUX, it's better to allow the earlier templates or the
environment to cancel the additions.
The site template could be installed unless it's installed already. Or
it could be installed under a name under which it won't be sourced, and
should have an explanation how to rename it to make it work.
--
Regards,
Pavel Roskin