[20:06] I am not a fan of the way my grub menu gets cluttered up after I have installed a few distributions [20:06] I mean to change that [20:06] is there any file like /etc/debian-version [20:07] to distinguish the distro version and also very importantly the flavor [20:08] I want my boot menu to say something useful for each entry