From 5fdf3ff7996a9ce7e58f4990a21dca3f3e735597 Mon Sep 17 00:00:00 2001 From: Yatao Li Date: Wed, 12 Sep 2018 00:37:06 +0800 Subject: [PATCH] CI: Dockerfile: use curl instead of wget --- contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile | 2 +- contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile index 15144fa8e..ce78e7fb9 100644 --- a/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile +++ b/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile @@ -1,6 +1,6 @@ FROM ubuntu:14.04 -RUN wget -q https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb && \ +RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \ dpkg -i packages-microsoft-prod.deb && \ apt-get install apt-transport-https diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile index 1963a4ad3..efa1d5600 100644 --- a/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile +++ b/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile @@ -1,6 +1,6 @@ FROM ubuntu:16.04 -RUN wget -q https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb && \ +RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \ dpkg -i packages-microsoft-prod.deb && \ apt-get install apt-transport-https