Re: [PATCH] Integrate hiddenmenu

[Colin Watson]

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?

Thanks,

-- 
Colin Watson                                       address@hidden

grub2-hidden-timeout.diff
Description: Text Data