Benutzer-Werkzeuge

Webseiten-Werkzeuge


linux:grubdefault

Grub - letzte Auswahl speichern

The documentation in this case is wrong. All variables in /etc/default/grub start with GRUB_, so it's GRUB_DEFAULT=saved, not DEFAULT=saved. I've corrected the Ubuntu wiki to reflect that.

The official grub manual describes this correctly: http://www.gnu.org/software/grub/manual/grub.html#Simple-configuration

Put the following in /etc/default/grub:

GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true

Then run:

sudo update-grub

shareimprove this answer

Quelle

linux/grubdefault.txt · Zuletzt geändert: 2018/04/27 22:30 von ronny

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki