Hi, i wrote: > > Would it be ok to install "grub-pc-bin" and "grub-efi-ia32-bin" ?
Steve McIntyre wrote: > Yes. That's exactly the design of the packaging here: the -bin > packages contain the binary grub code that you're looking for, and > grub-pc and grub-efi-$arch do the configuration to use one of those > binaries to make your system bootable. I can confirm that installing grub-pc-bin did not keep the machine from booting today. :)) I should have looked into the Debian package descriptions for GRUB five days earlier when i learned that a BIOS+EFI setup was involved. Instead i developed a wild theory about the /tmp filesystem on Gentoo while being fooled by atexit(3). https://lists.gnu.org/archive/html/bug-grub/2025-05/msg00028.html https://lists.gnu.org/archive/html/bug-grub/2025-05/msg00054.html Have a nice day :) Thomas
