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
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
