Ubuntu: cambiare il timeout in GRUB

Se avete un PC con GRUB installato, vi sarete resi conto che la visualizzazione di questo menù dura 3 secondi netti. Troppi o troppo pochi? Dipende dall'uso che ne volete fare. In ogni caso è possibile variare questo valore intervenendo da terminale. Quindi apritelo e digitate:

sudo gedit /boot/grub/menu.lst

Ora dovrete individuare una porzione di script più o meno simile a questa:

## timeout sec
# Set a timeout, in SEC seconds, before automatically booting the default entry
# (normally the first entry defined).
timeout 3

Quel "3" che vedete scritto vicino alla voce "timeout" è appunto il valore di visualizzazione. Cambiatelo a vostro piacimento, salvate, riavviate e vedrete le vostre impostazioni funzionanti.