Editar GRUB (parte 1 - modificar tiempo)

Como apuntaba antes, en mi Lap tengo instalado Ubuntu 10.4 y Windows 7, la terrible existencia del Haselfroch es debido a que aún me resulta necesario para resolver algunos problemas muy específicos, sin embargo, le uso realmente muy, muy poco.

En fin, al tener instalados dos sistemas operativos en dos particiones separadas, se ha creado una pantalla de arranque que me permite elegir entre ambos, es llamada GRUB y tiene un conteo para iniciar uno de los dos SO, el que arranca por default es el Ubuntu.

Ok, al grano, para editar el grub he usado el siguiente comando:

sudo gedit /boot/grub/grub.cfg

y, bueno, con ello he cambiado la cuenta que estaba establecida en 10 segundos, la he puesto en 3; esto lo he hecho cambiando en la línea

else
  set timeout=10
fi

y he cambiado el 10 por un 3, de modo que ha quedado:

else
  set timeout=3
fi

Así quedan solo 3 segundos, menos tiempo para que arranque solo en Ubuntu ñ_ñ
Simple, ¿no?