Re: Grub listing labels

2023-08-27 Thread Goh Lip
On 28/08/2023 03: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

Re: Grub listing labels

2023-08-27 Thread Pascal Hambourg
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

Re: Grub listing labels

2023-08-27 Thread Andrei Borzenkov
On 27.08.2023 19:30, Grizzly wrote: Hi 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.

Grub listing labels

2023-08-27 Thread Grizzly
Hi 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?