I have Ubuntu and Edubuntu installed on my laptop. But both shows as "Ubuntu ..." in the grub menu.
To workaround this, I can change the variable DISTRIB_ID and DISTRIB_DESCRIPTION to have values "Edubuntu" instead of "Ubuntu" and then run sudo update-grub. But, I wonder whether that can affect my future upgrades.
For example, If I want to upgrade to a latest release, will that upgrade be done as an "Ubuntu" system or "Edubuntu" system?
