Hi, Am 1. November 2026 12:52:20 MEZ schrieb Michael Prokop <[email protected]>: >* Holger Wansing [Sun Nov 01, 2026 at 12:32:46PM +0100]: >> >> The second option did not work, there are no grml entries in Grub boot menu >> anymore (I replaced the 42_grml file; did not touch 2026.09 iso in >> /boot/grml). >> I did no more research then, just went to option 1. > >Did you also run `update-grub` after replacing /etc/grub.d/42_grml?
Ah, I forgot to mention that. Yes, I ran update-grub after replacing the file. Holger -- Sent from /e/ OS on Fairphone3
