Re: [RFC][PATCH] Allow hotkeys to interrupt hidden menu

[Andrey Borzenkov]

В Thu, 28 Nov 2013 18:06:44 +0000
Colin Watson <address@hidden> пишет:

> On Thu, Nov 28, 2013 at 09:22:49PM +0400, Andrey Borzenkov wrote:
> > В Thu, 28 Nov 2013 02:30:56 +0000
> > Colin Watson <address@hidden> пишет:
> > >  @item GRUB_HIDDEN_TIMEOUT
> > >  @item GRUB_HIDDEN_TIMEOUT_QUIET
> > 
> > I suggest removing them from user visible documentation and leaving
> > only as compatibility options in grub-mkconfig. No reason do endorse
> > their usage ("deprecated" is usually was nobody pays attention to).
> 
> My concern is that they will probably hang around in people's
> configurations for some time and I would like the documentation to tell
> users what these mysterious things mean.
> 
> As a compromise, perhaps we could move them to a separate page?
> 

May be collect all deprecated options at the end of list with heading
like "The following options are still accepted for compatibility with
existing configurations but should not be used in new setup anymore" or
similar.

And BTW, we probably need to start collecting NEWS topics - this is
excellent candidate for inclusion :)