Re: comments about /etc/default/grub

[Robert Millan <rmh@aybabtu.com>]

On Tue, Feb 12, 2008 at 09:32:03AM +0100, Franklin PIAT wrote:
> Since the file /etc/default/grub really is about configuring update-grub
> behaviour, couldn't it be renamed /etc/update-grub.conf ?
> (It should be possible to source both, for transition)

No objection;  except, that since people are proposing to rename it, I think
it's better to wait untill that happens (which I hope is NOT soon).

> The variable GRUB_DEFAULT seems to be counted from 0 currently. Couldn't
> it be changed to count from 1.

But why?  :-)

> Could we add some comments, within /etc/default/grub (especially
> GRUB_CMDLINE_LINUX, since many people will use it).

Fine with me.  Note, however, that this file started being provided as
distro-specific (official GRUB doesn't ship it), and at least one of its
variables (GRUB_DISTRIBUTOR) is.

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.  This
was in fact my initial motivation when writing update-grub (sigh ;-)).  My
idea was that specific programs could put POSIX sh scripts, for example with
things like:

  GRUB_CMDLINE_LINUX="${GRUB_CMDLINE_LINUX} foo=bar"

in case a specific Linux parameter is preferred for running such program.

This would also solve the GRUB_DISTRIBUTOR problem simply by setting that
variable from /etc/grub.source.d/xx_debian or so:

  GRUB_DISTRIBUTOR=Debian

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call… if you are unable to speak?
(as seen on /.)