Bug#888515: debian-installer: UEFI boot menu (grub) misses the help screen
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:
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.