Avertissement: la définition de GRUB_TIMEOUT sur une valeur non nulle lorsque GRUB_HIDDEN_TIMEOUT est définie n'est plus prise en charge

J'ai remarqué que depuis un certain temps, le message d'avertissement suivant apparaît lors de la mise à jour de grub:

Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

cat /etc/default/grub

répertorie les options suivantes:

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=""

Supposons que:

• Je n'utilise pas le menu grub.

• Je veux que le processus de démarrage ne soit pas ralenti par un certain délai d'attente de grub.

Quelles sont les options valables pour moi?

Suppression de la ligne:

GRUB_TIMEOUT=10

ou autre chose?

Système d'exploitation: Linux Mint 18.2 Cinnamon 64 bits.

J'ai essayé différentes combinaisons et le résultat est que pour le fichier:

/etc/default/grub

dans mon cas, quand je ne veux pas que le menu grub apparaisse, la suppression de la ligne suivante fonctionne:

GRUB_HIDDEN_TIMEOUT=0

pendant le réglage:

GRUB_TIMEOUT=0

Ensuite, n'oubliez pas de courir:

sudo update-grub

L'avertissement n'apparaît plus.