(Please provide enough information to help the Debian
maintainers evaluate the report efficiently - e.g., by filling
in the sections below.)

Boot method: USB
Image version: debian-13.0.0-amd64-DLBD-1.iso, debian-13.0.0-amd64-netinst.iso
Date: <2025/08/10 - 16:25 - UTC-3:00>

Machine: Lenovo B490 - laptop
Partitions: <df -Tl will do; the raw partition table is preferred>


Base System Installation Checklist:
[O] = OK, [E] = Error (please elaborate below), [ ] = didn't try it

Initial boot:           [E]
Detect network card:    [ ]
Configure network:      [ ]
Detect media:           [ ]
Load installer modules: [ ]
Clock/timezone setup:   [ ]
User/password setup:    [ ]
Detect hard drives:     [ ]
Partition hard drives:  [ ]
Install base system:    [ ]
Install tasks:          [ ]
Install boot loader:    [ ]
Overall install:        [ ]

Comments/Problems:

boot menu is not displayed during installation start



Please make sure that any installation logs that you think would
be useful are attached to this report. (You can find them in the
installer system in /var/log/ and later on the installed system
under /var/log/installer.) Please compress large files using gzip.

launch the installation ? If yes, can you check if it is a duplicate of
#1088356 [1] and #1110446 [2] and the workaroud proposed in [3] works
for you ?

PS: Try to keep the subject short and write detailed information in the
comments.

[1] <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1088356>
[2] <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1110446>
[3] <https://savannah.gnu.org/bugs/?65503#comment2>

Forwarding Leonardo's reply to the bug report and debian-cd list.

What's next ? Reassign to grub-efi-amd64, or include the workaround in
installation images grub.cfg ?
(...)

Please reassign to grub-efi-amd64, yeah.
-- 
Steve McIntyre, Cambridge, UK.                                steve@einval.com
"The whole problem with the world is that fools and fanatics are
 always so certain of themselves, and wiser people so full of doubts."
   -- Bertrand Russell

Wilco, but since a trivial workaround is available, wouldn't it be safer
to implement it in ISO images until the bug is fixed in GRUB ? I may be
pessimistic but I do not expect this bug to be fixed soon and at least 4
bug reports were filed in the BTS, implying that a significant number of
users may be affected.

 Following up for the sake of others watching the bug...

I've reproduced the installation boot menu problem on a Thinkpad X220,
and I can verify that the suggested workaround makes things work. I
have an MR open on the installer to add that workaround:

https://salsa.debian.org/installer-team/debian-installer/-/merge_requests/69

and that should be in daily builds shortly and the 13.1 point release
next weekend.

What I could *not* do was reproduce this issue on a system after
installation. I checked that more than once, and it worked fine
already. That adds more credence to the suggestion that this is a
timing bug, for me. :-(

I'll be watching for an upstream fix in GRUB rather than updating
everybody's grub config with an update, but for now we'll at least get
installation images working here. That's the higher priority.