Re: Grub boot menu is invisible

[Pascal Hambourg]

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.