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.
