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

[Steve Langasek]

Ok, reassigning this to grub2 since it's now confirmed that this is what
you're using.

I see that there was an upgrade of the grub2 package in your latest
post, so it's possible that the previous version of grub was buggy and
this works now only because the new version was pulled in.  So not
immediately closing this bug as it might warrant further investigation.

** Package changed: grub (Ubuntu) => grub2 (Ubuntu)

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to grub2 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 grub2 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/grub2/+bug/1818772/+subscriptions