This is not a duplicate of this question -- that question deals with a dual-boot situation.
I have a completely stock install of Ubuntu 20.04 (on a Thinkpad p1 gen 2) on my main hard drive / boot device, and no other operating systems. When I power on the laptop and do nothing else, it boots to a grub menu, where the default option is to boot Ubuntu.
I would like to skip the grub menu and boot Ubuntu directly. My (stock) /etc/default/grub
file looks like:
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
GRUB_DISTRIBUTOR=lsb_release -i -s 2> /dev/null || echo Debian
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""