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

2018-03-07 Thread 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 >

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

2018-03-06 Thread 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

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

2018-02-05 Thread Samuel Thibault
Control: clone -1 -2 Control: block -1 by -2 Control: retitle -2 Add support for help screen Control: reassign -2 grub Control: forwarded -2 http://savannah.gnu.org/bugs/?53065 Hello, I have reported the feature request to http://savannah.gnu.org/bugs/?53065 Samuel

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

2018-01-26 Thread 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: > > This is what I suggested to Samuel in irc earlier today, in fact. It's a bit

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

2018-01-26 Thread Lennart Sorensen
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: menuentry ' ' {true} menuentry 'Help:' {true} submenu ' Prerequesites for installing Debian.' { menuentry 'PREREQUISITES FOR INSTALLING DEBIAN'

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

2018-01-26 Thread Samuel Thibault
Hello Grub maintainers, any idea about this? Samuel - Forwarded message from Steve McIntyre <st...@einval.com> - From: Steve McIntyre <st...@einval.com> To: Samuel Thibault <sthiba...@debian.org>, 888...@bugs.debian.org Subject: Re: Bug#888515: debian-installer: UE

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

2018-01-26 Thread Steve McIntyre
On Fri, Jan 26, 2018 at 05:03:07PM +0100, Samuel Thibault wrote: >Package: debian-installer >Version: 20171204 >Severity: normal > >Hello, > >When booting with syslinux, one has some boot-menu help screens which >document some convenient kernel parameters (e.g. to avoid bugs like >Bug#888513).

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

2018-01-26 Thread Samuel Thibault
Package: debian-installer Version: 20171204 Severity: normal Hello, When booting with syslinux, one has some boot-menu help screens which document some convenient kernel parameters (e.g. to avoid bugs like Bug#888513). That help is not available in the grub menu used for UEFI booting, it should