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

[Samuel Thibault]

Samuel Thibault, on mar. 06 mars 2018 19:13:45 +0100, wrote:
> 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.
> ”

And 

“
set pager=1
cat ($root)/boot/grub/MESSAGE.txt
unset pager
echo -n "-- Press ENTER to continue: "
read
”

Samuel