[Top][All Lists]
[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."