From cdf4729d08ba9c7f08d523d01cd3a35a9fb9ae3a Mon Sep 17 00:00:00 2001 From: Andrea Bacciu <36055796+andreabac3@users.noreply.github.com> Date: Sat, 7 Dec 2019 11:08:52 +0100 Subject: [PATCH] Fix Dockerfile The dockerfile works perfectly without the proxy. The proxy is no longer reachable, causing error in the docker building process. Removing it I managed to make the docker work. --- tools/Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/Dockerfile b/tools/Dockerfile index 0ffd9f3..5c6814b 100644 --- a/tools/Dockerfile +++ b/tools/Dockerfile @@ -1,7 +1,6 @@ FROM ubuntu:16.04 MAINTAINER John L. Singleton # base setup stuff -RUN echo "Acquire::http::Proxy \"http://florence.eecs.ucf.edu:3142\";" > /etc/apt/apt.conf.d/02proxy RUN apt-get update && apt-get install -y openjdk-8-jdk build-essential python # create the needed directories RUN mkdir /tools/