|
From: | Humphrey van Polanen Petel |
Subject: | Re: need hostname on menu |
Date: | Sun, 24 Jan 2021 14:32:39 +1100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
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 system
by 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
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
[Prev in Thread] | Current Thread | [Next in Thread] |