Diskussion:Standardeintrag Bootmenü ändern (GRUB2)
Version vom 7. Dezember 2013, 10:12 Uhr von Gehrke (Diskussion | Beiträge) (Änderung über den Namen 'menuentry' (GRUB_DEFAULT=saved))
Diesen Part habe ich entfernt. Er funktioniert zwar, aber es scheint mir eher eine missbräuchliche Verwendung der Konfiguration zu sein. --Gehrke (Diskussion) 11:12, 7. Dez. 2013 (CET)