diff --git a/Dockerfile b/Dockerfile index de4d89df0cf9bcb9e8ce5cc947347a5e6c6f5997..816adc54ba9792229ea00a835b8694622d3a539b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,11 +4,6 @@ COPY files/sources.list /etc/apt/sources.list ARG DEBIAN_FRONTEND=noninteractive -ENV http_proxy="http://proxy.runner.iiens.net:3128" -ENV https_proxy="http://proxy.runner.iiens.net:3128" -ENV HTTP_PROXY="http://proxy.runner.iiens.net:3128" -ENV HTTPS_PROXY="http://proxy.runner.iiens.net:3128" - RUN apt-get update RUN apt-get install -y apt-utils RUN apt-get upgrade -y