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

[Samuel Thibault]

Hello,

Samuel Thibault, on lun. 05 févr. 2018 10:31:40 +0100, wrote:
> I have reported the feature request to http://savannah.gnu.org/bugs/?53065

Here is an answer:

“
the solution which is available atm is:

set pager=1
cat ($root)/boot/grub/MESSAGE.txt
unset pager
echo -n "-- Press ESC or wait 60 sec to continue: "
sleep --verbose --interruptible  60

There is no pause command. To stop for a minute before showing the menu: sleep
continues on Escape key only.
”

Samuel