He notado que desde hace algún tiempo, aparece el siguiente mensaje de advertencia al actualizar grub:
Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.
cat /etc/default/grub
enumera las siguientes opciones:
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nomdmonddf nomdmonisw fsck.mode=force"
GRUB_CMDLINE_LINUX=""
Suponiendo lo siguiente:
No uso el menú de grub.
Quiero que el proceso de arranque no se ralentice por un tiempo de espera de grub.
¿Cuáles son las opciones válidas para mí?
Eliminando la línea:
GRUB_TIMEOUT=10
¿o algo mas?
Sistema operativo: Linux Mint 18.2 Cinnamon 64-bit.