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