Am Freitag, 3. März 2023, 21:53:30 CET schrieb Helge Reimer: > Um das zu umgehen könntest du in '/etc/default/grub' den Eintrag > GRUB_DEFAULT="saved" setzen, bzw. ändern. Noch ein Nachtrag. Ich verwende für solche Zwecke gerne 'grub-customizer'. Das bietet eine GUI für Grub. -- Gruß Helge