Hi,
Currently, the grub menu has no option to display the hostname, but when
on a dual-boot system there two systems of the same distribution it
becomes a problem when the user is not sure which install is on which
disk. In my case, I had Ubuntu 16.04 and 20.04 on separate disks and
grub just gave "Ubuntu" as the default so I had to close down the system
and reopen the case to refresh my memory of which install was on which
disk. I solved the problem by replacing
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
with
GRUB_DISTRIBUTOR=`cat /etc/hostname || lsb_release -i -s 2>
/dev/null || echo Debian`
which worked well enough.
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.
Humphrey
--
We are but sheep and here to be fleeced
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
