It is some kind of IPV6-related issue to ipv4 instead.

refs: - theia-ide#136 (comment) - jacobalberty/unifi-docker#64 (comment)
avelino · Mar 1, 2019 · 8791765 · 8791765
1 parent adb09e1
commit 8791765
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/theia-full-docker/Dockerfile b/theia-full-docker/Dockerfile
@@ -23,10 +23,11 @@ RUN set -ex \
     DD8F2338BAE7501E3DD5AC78C273792F7D83545D \
     A48C2BEE680E841632CD4E44F07496B3EB3C1762 \
     ; do \
-    gpg --keyserver pool.sks-keyservers.net --recv-keys "$key" || \
-    gpg --keyserver pgp.mit.edu --recv-keys "$key" || \
-    gpg --keyserver keyserver.pgp.com --recv-keys "$key" || \
-    gpg --keyserver ha.pool.sks-keyservers.net --recv-keys "$key" ; \
+    gpg --batch --keyserver ipv4.pool.sks-keyservers.net --recv-keys "$key" || \
+    gpg --batch --keyserver pool.sks-keyservers.net --recv-keys "$key" || \
+    gpg --batch --keyserver pgp.mit.edu --recv-keys "$key" || \
+    gpg --batch --keyserver keyserver.pgp.com --recv-keys "$key" || \
+    gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys "$key" ; \
     done