projects / grub2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4629f27) | patch
Adjust efi_distributor for some distributions
authorColin Watson <cjwatson@ubuntu.com>
Mon, 13 Jan 2014 12:13:27 +0000 (12:13 +0000)
committerFelix Zielcke <fzielcke@z-51.de>
Wed, 11 Jun 2025 15:42:34 +0000 (17:42 +0200)
commit2944039d6e06f742448bfdea122e13e2b7318a0a
tree9135835ef98b73bed3635b648fe02f139c4fe47ftree | snapshot
parent4629f272375b709bbf32e9ae36838625eabdcffbcommit | 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.