Merge ~ubuntu-core-dev/grub/+git/ubuntu:lp.1795291 into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu
Proposed by
Steve Langasek
Status: | Merged |
---|---|
Approved by: | Mathieu Trudel-Lapierre |
Approved revision: | 00b2d12755af8b435fcda84918ebdd9a3ee662c1 |
Merged at revision: | 00b2d12755af8b435fcda84918ebdd9a3ee662c1 |
Proposed branch: | ~ubuntu-core-dev/grub/+git/ubuntu:lp.1795291 |
Merge into: | ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu |
Diff against target: |
31 lines (+10/-1) 2 files modified
debian/changelog (+7/-0) debian/grub-check-signatures (+3/-1) |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Mathieu Trudel-Lapierre | Approve | ||
Julian Andres Klode | Needs Information | ||
Review via email:
|
To post a comment you must log in.
There was an error fetching revisions from git servers. Please try again in a few minutes. If the problem persists, contact Launchpad support.
Just skipping vmlinuz binaries where .efi.signed exist seems like a better approach IMO, we can just do that by adding a
if [ -e "$kernel. efi.signed" ]; then
continue
fi
before or after the dpkg check.