810 shaares
parce que je le change systématiquement et que, systématiquement, j'oublie où c'est...
et à ma sauce, ça donne :
sudo vim /etc/default/grub
et les paramètres qui vont bien :
GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=5
GRUB_RECORDFAIL_TIMEOUT=$GRUB_TIMEOUT
GRUB_DISTRIBUTOR=lsb_release -i -s 2> /dev/null || echo Debian
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
et on régénère le grub :
sudo grub-mkconfig -o /boot/grub/grub.cfg