Ich versuche, meine Grub-Konfiguration auf Ubuntu Server 12.04.3 so zu aktualisieren, dass sie die GRUB_RECORDFAIL_TIMEOUT
hier beschriebene Variable enthält: https://help.ubuntu.com/community/Grub2 .
Die Prozedur sagt "Ausführen update-grub
nach dem Vornehmen der Änderung", aber es scheint nicht auf meinem System zu sein. Wie kann ich das installieren?