On 02/09/2022 at 12:18, Chris Green wrote:
On Fri, Sep 02, 2022 at 11:24:29AM +0200, Bart Heideck via Support requests for
the GRand Unified Bootloader wrote:
I have set
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
I also tried GRUB_TIMEOUT_STYLE=menu, but it didn't change anything.
Have you run grub-install after making changes to /etc/default/grub ?
grub-install does not care about menu settings (and most settings in
/etc/default/grub). You must run update-grub or grub-mkconfig to update
grub.cfg.
