Archlinux: modificare il timeout del GRUB

Se volete ridurre (o perché no, anche aumentare) il tempo di attesa prima che GRUB avvii il sistema operativo di default, vi basta editare un semplice file di configurazione.
Da terminale digitate:

sudo gedit /boot/grub/menu.lst

e dal file aperto andiamo a modificare la voce:

timeout 5
default 0

sostituendo a 5 i secondi di attesa prima che venga avvia il SO di default che trovate alla riga successiva sotto il numero 0 (ossia il primo della lista).
Salvate i cambiamenti e riavviate il PC. Tutto qui :D