Re: comments about /etc/default/grub

[Pavel Roskin <proski@gnu.org>]

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