Fetch GPG keys directly from mediawiki.org

StarCitizenTools · Dec 30, 2024 · 3bad0ca · 3bad0ca
1 parent d548428
commit 3bad0ca
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -27,13 +27,7 @@ RUN set -eux; \
     curl -fSL "https://releases.wikimedia.org/mediawiki/${MEDIAWIKI_MAJOR_VERSION}/mediawiki-${MEDIAWIKI_VERSION}.tar.gz" -o mediawiki.tar.gz; \
     curl -fSL "https://releases.wikimedia.org/mediawiki/${MEDIAWIKI_MAJOR_VERSION}/mediawiki-${MEDIAWIKI_VERSION}.tar.gz.sig" -o mediawiki.tar.gz.sig; \
     export GNUPGHOME="$(mktemp -d)"; \
-    # gpg key from https://www.mediawiki.org/keys/keys.txt
-    gpg --batch --keyserver keyserver.ubuntu.com --recv-keys \
-        D7D6767D135A514BEB86E9BA75682B08E8A3FEC4 \
-        441276E9CCD15F44F6D97D18C119E1A64D70938E \
-        F7F780D82EBFB8A56556E7EE82403E59F9F8CD79 \
-        1D98867E82982C8FE0ABC25F9B69B3109D3BB7B0 \
-    ; \
+    gpg --fetch-keys "https://www.mediawiki.org/keys/keys.txt"; \
     gpg --batch --verify mediawiki.tar.gz.sig mediawiki.tar.gz; \
 	mkdir -p /var/www/mediawiki; \
     tar -x --strip-components=1 -f mediawiki.tar.gz -C /var/www/mediawiki; \