Has no one any ideas anymore what could be the issue here?
BR Bart 3. Sept. 2022, 00:04 von [email protected]: > 2. Sept. 2022, 12:46 von [email protected]: > >>> Have you run grub-install after making changes to /etc/default/grub ? >>> >> >> grub-install does not care about menu settings (and most settings in >> /etc/default/grub). You must run update-grub or grub-mkconfig to update >> grub.cfg. >> > > I did run update-grub once I changed anything in /etc/default/grub. >
