Sto cercando di aggiornare la mia configurazione di grub sul server Ubuntu 12.04.3 per includere la GRUB_RECORDFAIL_TIMEOUTvariabile come descritto qui: https://help.ubuntu.com/community/Grub2 .
La procedura dice eseguire update-grubdopo aver apportato la modifica ma non sembra essere sul mio sistema. Come posso installarlo?