Sorry for the faulty paste, please keep only the part quoted below:
Le 24/01/2021 à 10:28, Didier Spaier a écrit :
<snip>> 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/<nn>_<name>.> 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
