From: "Humphrey van Polanen Petel" <hpvpp@optusnet.com.au>
Date: Sunday, 24 January 2021 at 12:27:20
To: "John Paul Adrian Glaubitz" <glaubitz@physik.fu-berlin.de>
Cc: "The development of GNU GRUB" <grub-devel@gnu.org>
Subject: Re: need hostname on menu
Okay, I get it.
I defer to your decision.
Humphrey
We are but sheep and here to be fleecedOn 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 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 mnemonics are most easily remembered.I was not arguing this point. I was just talking about the development and maintenance effort.