When I run update-grub, I see kernels being found, but when I reboot I do not see the latest kernels in the boot menu.
update-grub doesn't boot new kernels
I'm running Ubuntu 13.10; 3.11.0-13-generic #20-Ubuntu SMP Wed Oct 23 07:38:26 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
I see:
/boot/vmlinuz-3.11.0-12-generic
/boot/vmlinuz-3.11.0-13-generic
/boot/vmlinuz-3.11.0-13-generic.efi.signed
/boot/vmlinuz-3.11.0-14-generic
/boot/vmlinuz-3.11.0-14-generic.efi.signed
/boot/vmlinuz-3.11.0-15-generic
/boot/vmlinuz-3.11.0-15-generic.efi.signed
in /boot/grub/grub.cfg I see e.g.:
menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menu
entry_id_option 'gnulinux-simple-a7c2475c-8313-4a46-892f-6264b36232bc' {
recordfail
load_video
gfxmode $linux_gfx_mode
insmod gzio
insmod part_msdos
insmod ext2
set root='hd1,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos6 --hint-
efi=hd1,msdos6 --hint-baremetal=ahci1,msdos6 a7c2475c-8313-4a46-892f-6264b36232
bc
else
search --no-floppy --fs-uuid --set=root a7c2475c-8313-4a46-892f-6264b3
6232bc
fi
linux /boot/vmlinuz-3.11.0-15-generic root=UUID=a7c2475c-8313-4a46-892f-6264b36232bc ro quiet splash $vt_handoff
initrd /boot/initrd.img-3.11.0-15-generic
The menu shows me 3.11.0-13 and 3.11.0-12 options as well as some older kernel options from another install and another disc. I got the newer (14 and -15) kernels from updates. I would like to be able to use them.
is update-grub just broken? Shouldn't the menu options just autmatically update when I run update-grub?
Bookmarks