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
