My
/etc/default/grub
has only these effective options:GRUB_DEFAULT='Ubuntu'
GRUB_HIDDEN_TIMEOUT=1
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=1
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_TERMINAL=console
Add the following to
/etc/default/grub
GRUB_RECORDFAIL_TIMEOUT=0
Save and runsudo update-grub
No hay comentarios:
Publicar un comentario