All of lore.kernel.org
 help / color / mirror / Atom feed
* comments about /etc/default/grub
@ 2008-02-12  8:32 Franklin PIAT
  2008-02-12 11:47 ` Robert Millan
  0 siblings, 1 reply; 6+ messages in thread
From: Franklin PIAT @ 2008-02-12  8:32 UTC (permalink / raw)
  To: GRUB Dev Mailing List

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)

The variable GRUB_DEFAULT seems to be counted from 0 currently. Couldn't
it be changed to count from 1.
(I can't think of any clever way to make a transition, though)


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


# This file is sourced by update-grub, and its variables are propagated
# to its childs in /etc/grub.d/

# Default menuentry to boot (counted from 0)
GRUB_DEFAULT=0

# Menu timeout. (GRUB_DEFAULT is booted after timeout)
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=Debian

# Parameter(s) to be appended to all Linux kernel entries 
#GRUB_CMDLINE_LINUX=


Thanks,

Franklin




^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2008-02-18  4:08 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-02-12  8:32 comments about /etc/default/grub Franklin PIAT
2008-02-12 11:47 ` Robert Millan
2008-02-12 20:54   ` Franklin PIAT
2008-02-12 22:55   ` Pavel Roskin
2008-02-13 15:56     ` Robert Millan
2008-02-18  4:08       ` Pavel Roskin

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.