Puede que les sirva a mas de uno por si quiren cambiar de 5 segundos a 10 segundos de 3segundos a 10 segundos o viceversa
Tutorial
Abre terminal
Teclea
sudo gedit /boot/grub/grub.cfg
O con nano
sudo nano /boot/grub/grub.cfg
Y buscamos la linea
set time out=10
Puede que no diga 10
Y cambiamos por los segundos que queramos
Si se preguntas si se tiene que actualizar el grub con un update al grub la respuesta es no,solo salven el archivo y reinicien
Buen trabajo gracias
ResponderBorrar