Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported. sudo sed -i '/GRUB_HIDDEN_TIMEOUT=/s/^/# /' /etc/default/grub && sudo update-grub