Re: need hostname on menu

2021-01-24 Thread J.Witvliet--- via Grub-devel
From: "Humphrey van Polanen Petel" mailto:hp...@optusnet.com.au>> Date: Sunday, 24 January 2021 at 12:27:20 To: "John Paul Adrian Glaubitz" mailto:glaub...@physik.fu-berlin.de>> Cc: "The development of GNU GRUB" mailto:grub-devel@gnu.org>> Subject: Re: need hostname on menu Okay, I get it.

Re: need hostname on menu

2021-01-24 Thread John Paul Adrian Glaubitz
On 1/24/21 12:26 PM, Humphrey van Polanen Petel wrote: > Okay, I get it. > > I defer to your decision. I did not make any decisions as I'm not in charge of GRUB, I'm just a contributing developer. I merely stated my opinion and pointed out some problems with your suggestion. Adrian -- .''`.

Re: need hostname on menu

2021-01-24 Thread Humphrey van Polanen Petel
Okay, I get it. I defer to your decision. Humphrey We are but sheep and here to be fleeced On 24/1/21 8:03 pm, John Paul Adrian Glaubitz wrote: Hello! On 1/24/21 4:32 AM, Humphrey van Polanen Petel wrote: Whether it is a trivial problem or not I am not qualified to comment on, but it nevert

Re: need hostname on menu

2021-01-24 Thread Didier Spaier
Sorry for the faulty paste, please keep only the part quoted below: Le 24/01/2021 à 10:28, Didier Spaier a écrit : > Hi,> > Le 24/01/2021 à 01:52, Humphrey van Polanen Petel a écrit :>> However, it seems to me that it would be a lot more useful to add a >> parameter allowing the user to display

Re: need hostname on menu

2021-01-24 Thread Didier Spaier
Hi, Le 24/01/2021 à 01:52, Humphrey van Polanen Petel a écrit : However, it seems to me that it would be a lot more useful to add a parameter allowing the user to display the name of the install from /etc/hostname. I won't repeat what grub developers said but in addition: 1) Other users coul

Re: need hostname on menu

2021-01-24 Thread John Paul Adrian Glaubitz
Hello! On 1/24/21 4:32 AM, Humphrey van Polanen Petel wrote: > Whether it is a trivial problem or not I am not qualified to comment on, but > it > nevertheless seems to me that being able to identify at boot a systemby the > name > by which it is know is of obvious benefit simply because mnemoni

Re: need hostname on menu

2021-01-24 Thread J.Witvliet--- via Grub-devel
No, that would still be not enough: Imagine installing centOS 3 times, one with gnome-desktop, one with kde-desktop, and one with yet another variant, but all using the same OS-release. Your suggestion would still yield three identical labels... From: "Humphrey van Polanen Petel" mailto:hp...@