[Bug 1818772] Re: [disco-proposed] On the Boot splash screen, Grub does not show the 5.0 kernel installed.

[Edson José dos Santos]

One more confirmation that Kernel 5.0 is installed and version 4.19 is
in use. Is it not the version of kernel 5.0 that should be in use?

edson at edson-p6540br:~$ ls /boot | grep vmlinuz | cut -d'-' -f2,3
4.19.0-13
5.0.0-7
edson at edson-p6540br:~$ dpkg --list | grep linux-image
rc  linux-image-4.18.0-11-generic                 4.18.0-11.12                                       amd64        Signed kernel image generic
rc  linux-image-4.19.0-12-generic                 4.19.0-12.13                                       amd64        Signed kernel image generic
ii  linux-image-4.19.0-13-generic                 4.19.0-13.14                                       amd64        Signed kernel image generic
ii  linux-image-5.0.0-7-generic                   5.0.0-7.8                                          amd64        Signed kernel image generic
ii  linux-image-generic                           5.0.0.7.8                                          amd64        Generic Linux kernel image
edson at edson-p6540br:~$ uname -r
4.19.0-13-generic
edson at edson-p6540br:~$ 

Thanks

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to grub in Ubuntu.
https://bugs.launchpad.net/bugs/1818772

Title:
  [disco-proposed] On the Boot splash screen, Grub does not show the 5.0
  kernel installed.

Status in grub package in Ubuntu:
  New

Bug description:
  Hi guys

  On the Boot splash screen, Grub does not show the 5.0 kernel installed.
  The same has been installed and appears in the terminal by sudo update grub and synaptcis, see attachment.

  edson at edson-p6540br:~$ sudo update-grub
  Sourcing file `/etc/default/grub'
  Generating grub configuration file ...
  Imagem Linux encontrada: /boot/vmlinuz-5.0.0-7-generic
  Imagem initrd encontrada: /boot/initrd.img-5.0.0-7-generic
  Imagem Linux encontrada: /boot/vmlinuz-4.19.0-13-generic
  Imagem initrd encontrada: /boot/initrd.img-4.19.0-13-generic
  Found memtest86+ image: /boot/memtest86+.elf
  Found memtest86+ image: /boot/memtest86+.bin
  Encontrado Deepin 15.9.1  (15.9.1) em /dev/sdb1
  Encontrado elementary OS 5.0 Juno (5.0) em /dev/sdb2
  Encontrado Linux Mint 19.1 Tessa (19.1) em /dev/sdb3
  Encontrado Windows 10 em /dev/sdc1
  concluído
  edson at edson-p6540br:~$

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub/+bug/1818772/+subscriptions