Where does the entry
GRUB_DISTRIBUTOR=lsb_release -i -s 2> /dev/null || echo Debian
take the names from?
Here is why this is not a duplicate of "How to safely change OS name in grub boot menu?":
I know already that the names assigned to the OSs in the GRUB boot menu can be changed by commenting
GRUB_DISTRIBUTOR=lsb_release -i -s 2> /dev/null || echo Debian
and replacing the entry by
GRUB_DISTRIBUTOR="Some other name"
(in inverted commas).
All explanations I have found just say:
GRUB_DISTRIBUTOR=lsb_release -i -s 2> /dev/null || echo Debian -
"This line simply retrieves the name in the menu entry." Fair enough! But I would like to know: Where does this command retrieve the actual name from? The names must be contained in some file in plain text!
lsb_release -i -s
will simply output the operating system's name, i.e. "Ubuntu". – Byte Commander Sep 09 '16 at 01:01