Bug#888515: debian-installer: UEFI boot menu (grub) misses the help screen
On Fri, Jan 26, 2018 at 02:13:30PM -0500, Lennart Sorensen wrote:
>On Fri, Jan 26, 2018 at 05:16:38PM +0100, Samuel Thibault wrote:
>> Hello Grub maintainers, any idea about this?
>
>Is this too much of a hack:
>
><other existing menu entries here>
<fake menu entries for help>
This is what I suggested to Samuel in irc earlier today, in fact. It's
a bit gross, but could work...
--
Steve McIntyre, Cambridge, UK. steve@einval.com
< liw> everything I know about UK hotels I learned from "Fawlty Towers"
Reply to: