[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: |
Thu, 13 Aug 2009 22:08:42 +0200 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Thu, Aug 13, 2009 at 10:45:48AM +0100, Colin Watson wrote:
> On Mon, Aug 10, 2009 at 05:10:31PM +0200, Robert Millan wrote:
> > 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)" ?
>
> OK. How's this?
Committed (with a small adjustment), thanks.
--
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."