grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Integrate hiddenmenu


From: Robert Millan
Subject: Re: [PATCH] Integrate hiddenmenu
Date: Mon, 10 Aug 2009 17:10:31 +0200
User-agent: Mutt/1.5.18 (2008-05-17)

On Mon, Aug 10, 2009 at 12:55:05PM +0100, Colin Watson wrote:
> > If we default to verbose, we could also have an option to turn it off from
> > /etc/default/grub, if that makes life easier for you.
> 
> Slightly, I suppose. I thought there were some feelings against
> excessive numbers of options which is why I didn't suggest that.
> GRUB_HIDDEN_TIMEOUT_QUIET=1?

For this one I don't mind.  But would you please make it "(true|false)" ?

-- 
Robert Millan

  The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
  how) you may access your data; but nobody's threatening your freedom: we
  still allow you to remove your data and not access it at all."




reply via email to

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