Zum Inhalt springen

ex Perimentum

Journal – Tagebuch – etc

Kategorie: Linux

Sonntag, 17. Februar 2019 klaus GRUB, Linux

Grub: Standardauswahl im Bootmenü

Eintragen in /etc/default/grub:

GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true

anschließend:

sudo update-grub

Quelle: https://askubuntu.com/a/149572 und http://www.gnu.org/software/grub/manual/grub/grub.html#Simple-configuration


Theme: Verdandi