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

[Colin Watson]

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?

-- 
Colin Watson                                       address@hidden