
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
Journal – Tagebuch – etc
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