Re: need hostname on menu
From: "Humphrey van Polanen Petel" mailto:hp...@optusnet.com.au>> Date: Sunday, 24 January 2021 at 12:27:20 To: "John Paul Adrian Glaubitz" mailto:glaub...@physik.fu-berlin.de>> Cc: "The development of GNU GRUB" mailto: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 fleeced On 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. All true. But after some thoughts, and in this particular case... I would suggest to ask this question to canonical, as they produce the grub-config file. Not the people from grub-development. Afaicr, if you install different versions of Suse, you’ll get different lines in grub-config (analogue to what you asked for) Dit bericht kan informatie bevatten die niet voor u is bestemd. Indien u niet de geadresseerde bent of dit bericht abusievelijk aan u is toegezonden, wordt u verzocht dat aan de afzender te melden en het bericht te verwijderen. De Staat aanvaardt geen aansprakelijkheid voor schade, van welke aard ook, die verband houdt met risico's verbonden aan het elektronisch verzenden van berichten. This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. The State accepts no liability for damage of any kind resulting from the risks inherent in the electronic transmission of messages. ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
Re: need hostname on menu
On 1/24/21 12:26 PM, Humphrey van Polanen Petel wrote: > Okay, I get it. > > I defer to your decision. I did not make any decisions as I'm not in charge of GRUB, I'm just a contributing developer. I merely stated my opinion and pointed out some problems with your suggestion. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `-GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913 ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
Re: need hostname on menu
Okay, I get it. I defer to your decision. Humphrey We are but sheep and here to be fleeced On 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. 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. No developer is telling you how to use the software, that's not my point but that someone has to implement the feature and maintain it and that person is the developer. So while the developer does not get to tell you how you use the software, he decides what he works on and what not. And if there is a feature that is requested by only a very small amount of users, then it usually makes no sense to put up with the additional development and maintenance burden. Adrian ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
Re: need hostname on menu
Sorry for the faulty paste, please keep only the part quoted below: Le 24/01/2021 à 10:28, Didier Spaier a écrit : > Hi,> > Le 24/01/2021 à 01:52, Humphrey van Polanen Petel a écrit :>> 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.>> I won't repeat what grub developers said but in addition:> > 1) Other users could want to customize the name including an information> not available in /etc/hostname, like e.g. /etc/os-release> > 2) the customization is easy to do by the user or the package maintainer or> the distribution maintainer and there are several ways to do that, like:> a) Edit by hand grub.cfg> b) Write a customized config file as /etc/grub.d/_.> c) Write a script that customizes grub.cfg after having run grub-mkconfig> or update-grub.> d) Write a wrapper script that runs grub-mkconfig or update-grub then do> the customization.> > Have a good day,> Didier ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
Re: need hostname on menu
Hi, Le 24/01/2021 à 01:52, Humphrey van Polanen Petel a écrit : 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. I won't repeat what grub developers said but in addition: 1) Other users could want to customize the name including an information not available in /etc/hostname, like e.g. /etc/os-release 2) the customization is easy to by the user or the package maintainer or the distribution maintainer and there are several ways to do that, for instance edit by hand grub.cfg, or write a customized config file as /etc/grub.d/_, or write a script that customizes grub.cfg after having run grub-mkconfig or update-grub, possibly called by a wrapper script that will run grub-mkconfig or update-grub first. Have a good day, Didier I won't repeat what grub developers said but in addition: 1) Other users could want to customize the name including an information not available in /etc/hostname, like e.g. /etc/os-release 2) the customization is easy to do by the user or the package maintainer or the distribution maintainer and there are several ways to do that, like: a) Edit by hand grub.cfg b) Write a customized config file as /etc/grub.d/_. c) Write a script that customizes grub.cfg after having run grub-mkconfig or update-grub. d) Write a wrapper script that runs grub-mkconfig or update-grub then do the customization. Have a good day, Didier ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
Re: need hostname on menu
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. > 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. No developer is telling you how to use the software, that's not my point but that someone has to implement the feature and maintain it and that person is the developer. So while the developer does not get to tell you how you use the software, he decides what he works on and what not. And if there is a feature that is requested by only a very small amount of users, then it usually makes no sense to put up with the additional development and maintenance burden. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `-GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913 ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
Re: need hostname on menu
No, that would still be not enough: Imagine installing centOS 3 times, one with gnome-desktop, one with kde-desktop, and one with yet another variant, but all using the same OS-release. Your suggestion would still yield three identical labels... From: "Humphrey van Polanen Petel" mailto:hp...@optusnet.com.au>> Date: Sunday, 24 January 2021 at 01:52:49 To: "grub-devel@gnu.org" mailto:grub-devel@gnu.org>> Subject: need hostname on menu 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 Dit bericht kan informatie bevatten die niet voor u is bestemd. Indien u niet de geadresseerde bent of dit bericht abusievelijk aan u is toegezonden, wordt u verzocht dat aan de afzender te melden en het bericht te verwijderen. De Staat aanvaardt geen aansprakelijkheid voor schade, van welke aard ook, die verband houdt met risico's verbonden aan het elektronisch verzenden van berichten. This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. The State accepts no liability for damage of any kind resulting from the risks inherent in the electronic transmission of messages. ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel