Hi,

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.

And if you wish to call this a "rather exotic problem" then I would like 
to point out that it is not up to the developers, but to the users to 
determine how they use their system.

Humphrey

We are but sheep and here to be fleeced

On 24/1/21 11:57 am, John Paul Adrian Glaubitz wrote:
> Hello!
>
> On 1/24/21 1:52 AM, Humphrey van Polanen Petel wrote:
>> 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.
> GRUB is a universal bootloader which supports multiple platforms and operating
> systems. I'm not sure it would be trivial to implement such a feature for all
> possible target configurations that GRUB support just to solve this rather exotic
> problem you are describing here.
>
> Adrian
>