[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Andrey Borzenkov
Subject: Re: [RFC][PATCH] Allow hotkeys to interrupt hidden menu
Date: Fri, 29 Nov 2013 10:21:40 +0400

В 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> пишет:
> > 
> > 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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]