Bug#888515: debian-installer: UEFI boot menu (grub) misses the help screen

[Steve McIntyre]

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 at einval.com
< liw> everything I know about UK hotels I learned from "Fawlty Towers"