Konfiguration von GRUB 2

  1. sudo gedit /etc/default/grub
  2. in /etc/default/grub einstellen:
    GRUB_DEFAULT=saved
    GRUB_SAVEDEFAULT=true # sonst bewirkt die manuelle Auswahl nichts
  3. sudo update-grub # to update /boot/grub/grub.cfg

Klassifikation