[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: Colin Watson
Subject: Re: [RFC][PATCH] Allow hotkeys to interrupt hidden menu
Date: Thu, 28 Nov 2013 18:06:44 +0000
User-agent: Mutt/1.5.21 (2010-09-15)

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?

Colin Watson                                       address@hidden

reply via email to

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