Ubuntu
grub2 package

  1. Bug #2034253
  2. Comment #7

Comment 7 for bug 2034253

Revision history for this message
Steve Langasek (vorlon) wrote : Re: [Bug 2034253] Re: Jammy buildd image doesn't boot because grub is installed to \EFI\debian instead of \EFI\ubuntu

On Thu, Sep 07, 2023 at 10:21:05AM -0000, Julian Andres Klode wrote:
> +GRUB_DISTRIBUTOR=`. /etc/os-release && echo $NAME || echo @DPKG_VENDOR@`

Maybe you want

GRUB_DISTRIBUTOR=`. /etc/os-release; echo ${NAME:-@DPKG_VENDOR@}`

To handle the uncommon case of /etc/os-release exists but is broken (missing
NAME=)