From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1Vm5yD-0003ln-0s for mharc-grub-devel@gnu.org; Thu, 28 Nov 2013 13:05:45 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43410) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vm5y9-0003lS-R9 for grub-devel@gnu.org; Thu, 28 Nov 2013 13:05:42 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vm5y8-0001W7-Vj for grub-devel@gnu.org; Thu, 28 Nov 2013 13:05:41 -0500 Received: from v6.chiark.greenend.org.uk ([2001:ba8:1e3::]:36311 helo=chiark.greenend.org.uk) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vm5y8-0001Vt-Pm for grub-devel@gnu.org; Thu, 28 Nov 2013 13:05:40 -0500 Received: from [172.20.153.9] (helo=riva.pelham.vpn.ucam.org) by chiark.greenend.org.uk (Debian Exim 4.72 #1) with esmtps (return-path cjwatson@ubuntu.com) id 1Vm5y7-00068k-Np for grub-devel@gnu.org; Thu, 28 Nov 2013 18:05:39 +0000 Received: from ns1.pelham.vpn.ucam.org ([172.20.153.2] helo=riva.ucam.org) by riva.pelham.vpn.ucam.org with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1Vm5y6-0004Fx-OP for grub-devel@gnu.org; Thu, 28 Nov 2013 18:05:38 +0000 Date: Thu, 28 Nov 2013 18:05:37 +0000 From: Colin Watson To: grub-devel@gnu.org Subject: Re: [RFC][PATCH] Allow hotkeys to interrupt hidden menu Message-ID: <20131128180537.GA16321@riva.ucam.org> References: <20130911133129.GB10979@riva.ucam.org> <20131127234057.GA23139@riva.ucam.org> <20131128023056.GA19545@riva.ucam.org> <20131128110428.GA9590@riva.ucam.org> <20131128212017.792f998c@opensuse.site> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20131128212017.792f998c@opensuse.site> User-Agent: Mutt/1.5.21 (2010-09-15) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:ba8:1e3:: X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: The development of GNU GRUB List-Id: The development of GNU GRUB List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 28 Nov 2013 18:05:43 -0000 On Thu, Nov 28, 2013 at 09:20:17PM +0400, Andrey Borzenkov wrote: > Not only. If you hit ESC it will not "wait for input according to > GRUB_TIMEOUT" - it will stop displaying menu. No, that's not true in my tests. If you hit Escape while a hidden timeout is active and GRUB_TIMEOUT is non-zero, it'll display the menu. If you can make this happen, please post a detailed test case. > I'm not sure whether exposing menu but continuing count down is useful. > We could let any other key (or specific key - SPACE?) do it. I don't think it's very useful, which is why it isn't available in the new GRUB_TIMEOUT + GRUB_TIMEOUT_STYLE interface; but it was exposed in the old GRUB_HIDDEN_TIMEOUT + GRUB_TIMEOUT interface so I don't want to break it entirely. -- Colin Watson [cjwatson@ubuntu.com]