Sourcing file `/etc/default/grub' Sourcing file `/etc/default/grub.d/init-select.cfg' Generating grub configuration file ... Found linux image: /boot/vmlinuz-5.4.0-54-generic Found initrd image: /boot/initrd.img-5.4.0-54-generic Found linux image: /boot/vmlinuz-4.15.0-124-generic Found initrd image: /boot/initrd.img-4.15.0-124-generic Found Windows Boot Manager on /dev/sda2@/EFI/Microsoft/Boot/bootmgfw.efi Adding boot menu entry for UEFI Firmware Settings done
My excuses for using former language. I used to be very active some 10 to 15 years ago. And thanks for looking into this, Uwe -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1898022 Title: grub upgrade 18.04->20.04 loses dual-boot to W10 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1898022/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
