Danke, Helge für die Zwei Tipps. Gruß Mirulan Am Freitag, dem 03.03.2023 um 21:57 +0100 schrieb Helge Reimer: > 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. >