projects / grub2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1c3ac3) | patch
Adjust efi_distributor for some distributions
authorColin Watson <cjwatson@ubuntu.com>
Mon, 13 Jan 2014 12:13:27 +0000 (12:13 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sun, 28 Jul 2024 22:42:11 +0000 (22:42 +0000)
commitfbf2d356652e2696d698f7c570dc4c883bdcb9f6
treece9963eba72ce48c3553524fc0968d013a6c8621tree | snapshot
parentd1c3ac3e8bf0f5bbe232bda96878f58519571d55commit | diff
Adjust efi_distributor for some distributions

This is not a very good approach, and certainly not sanely upstreamable;
we probably need to split GRUB_DISTRIBUTOR into a couple of different
variables.

Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
Bug-Debian: https://bugs.debian.org/932966
Forwarded: not-needed
Last-Update: 2019-08-06

Patch-Name: install-efi-adjust-distributor.patch

Gbp-Pq: Name install-efi-adjust-distributor.patch
util/grub-install.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.