[workaround] curl/curl#3750

Old curl + new (GitHub's) nginx = no dice.
epfl-si · Oct 14, 2023 · 76d9133 · 76d9133
1 parent 8e8dda2
commit 76d9133
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/docker/wp-base/Dockerfile b/docker/wp-base/Dockerfile
@@ -7,11 +7,15 @@ ENV NODE_VERSION_MAJOR=14
 ENV DEBIAN_FRONTEND=noninteractive
 
 RUN apt-get -qy update && \
-    apt-get -qy install curl ca-certificates \
+    apt-get -qy install ca-certificates \
                software-properties-common apt-transport-https gnupg awscli && \
     apt-get -qy autoremove && \
     apt-get clean
 
+# https://github.com/curl/curl/issues/3750
+RUN set -e -x; add-apt-repository ppa:savoury1/backports; \
+  apt-get -qy update; apt-get -qy install curl
+
 RUN curl -sL https://deb.nodesource.com/setup_${NODE_VERSION_MAJOR}.x | bash -
 
 RUN apt-get -qy update && apt-get  -qy install --no-install-recommends \