Hi, Michael Biebl wrote (30 May 2014 16:20:56 GMT) : > Well, the grub menu entry carries the kernel version in the description. > But I acknowledge that one can miss that.
Data point: in my test sid VM, with GRUB 2.02~beta2-10, the only GRUB entries I see are: * Debian GNU/Linux * Advanced options for Debian GNU/Linux Cheers, -- intrigeri | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
