Re: Grub listing labels

[Pascal Hambourg]

Please reply on list.

On 27/08/2023 à 22:02, Grizzly wrote:
> Sunday, August 27, 2023  at 21:01, Pascal Hambourg wrote:
> > On 27/08/2023 at 20:44, Andrei Borzenkov wrote:
> > > On 27.08.2023 19:30, Grizzly wrote:
> > > > Duel boot with Bodhi & BionicPup,
> > > > grub shows Ubuntu 18.04 & BionicPup
> > > > would like to have Bodhi show as Bodhi (not ubuntu 18.04)
> > > > is there a persistant way to achive this?
> > > Edit /etc/default/grub, set GRUB_DISTRIBUTOR to whatever you want.
> >
> > This works only if Bodhi is the "primary" system (the one which
> > installed the active GRUB).

Also, it may break some GRUB setups (e.g. generic signed images) which 
rely on a hardcoded name.

> It was, BionicPup was added later

That does not tell which GRUB is the active one. Which is the first GRUB 
menu entry ?