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
> 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



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 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



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 gross, but could work...

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
< liw> everything I know about UK hotels I learned from "Fawlty Towers"



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' {true}
menuentry ' ' {true}
menuentry 'You must have at least 105 megabytes of RAM to use this 
Debian' {true}
menuentry 'installer.' {true}
menuentry ' ' {true}
menuentry 'You should have space on your hard disk to create a new disk 
partition' {true}
menuentry "of at least 680 megabytes to install the base system.  
You'll need more" {true}
menuentry 'disk space to install additional packages, depending on what 
you wish' {true}
menuentry 'to do with your new Debian system.' {true}
menuentry ' ' {true}
menuentry 'See the Installation Guide or the FAQ for more information; 
both' {true}
menuentry 'documents are available at the Debian web site, 
http://www.debian.org/' {true}
menuentry ' ' {true}
menuentry 'Thank you for choosing Debian!' {true}
}
submenu '  Boot methods for special ways of using this CD-ROM' {
menuentry 'BOOT METHODS' {true}
menuentry ' ' {true}
menuentry 'Available boot methods:' {true}
menuentry ' ' {true}
menuentry 'installgui' {true}
menuentry '  Start the installation using the graphical installer -- 
this is the' {true}
menuentry 'install' {true}
menuentry '  Start the installation using the text mode installer' 
{true}
menuentry 'expertgui' {true}
menuentry '  Start the installation in expert mode, for maximum 
control, using' {true}
menuentry '  the graphical installer' {true}
menuentry 'expert' {true}
menuentry '  Start the installation in expert mode using the text mode 
installer' {true}
}

Obviously the text has to be corrected I just copied from isolinux pages
as an example.

-- 
Len Sorensen



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: UEFI boot menu (grub) misses the 
help screen
Date: Fri, 26 Jan 2018 16:12:46 +
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=8.0 tests=BAYES_50, 
HEADER_FROM_DIFFERENT_DOMAINS autolearn=disabled version=3.4.1
Message-ID: <20180126161246.vohgz6nxztctt...@tack.einval.com>
User-Agent: NeoMutt/20170113 (1.7.2)

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). That help is not available in the grub menu used for UEFI
>booting, it should be.

It would be lovely, yes. But I have no idea how to do such a thing,
I'm afraid.

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
Into the distance, a ribbon of black
Stretched to the point of no turning back


- End forwarded message -

-- 
Samuel
 La carte réseau fournie par cybercable (sn2000) ne va-t-elle que sur
 bus isa ou peut-on aussi la mettre sur bus PCI.
 Merci de m'éclairer.
 -+- JP in le Neuneu Pète un Câble : Une carte dans chaque port -+-



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). That help is not available in the grub menu used for UEFI
>booting, it should be.

It would be lovely, yes. But I have no idea how to do such a thing,
I'm afraid.

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
Into the distance, a ribbon of black
Stretched to the point of no turning back



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 be.

Samuel

-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable-debug'), (500, 
'testing-debug'), (500, 'stable-debug'), (500, 'oldoldstable'), (500, 
'buildd-unstable'), (500, 'unstable'), (500, 'stable'), (500, 'oldstable'), (1, 
'experimental-debug'), (1, 'buildd-experimental'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.14.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), 
LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

-- 
Samuel
The nice thing about Windows is - It does not just crash, it displays a
dialog box and lets you press 'OK' first.
(Arno Schaefer's .sig)