Following up for the sake of others watching the bug... On Thu, Aug 14, 2025 at 10:42:43AM +0200, Pascal Hambourg wrote: >On 12/08/2025 at 15:42, Steve McIntyre wrote: >> Please reassign to grub-efi-amd64, yeah. > >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.
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. -- Steve McIntyre, Cambridge, UK. [email protected] Dance like no one's watching. Encrypt like everyone is. - @torproject
