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 ?
