From 96d6724ac08e3d2add9e2819314ae3bfabb3cc78 Mon Sep 17 00:00:00 2001 From: Johan Larsson Date: Fri, 12 Jan 2024 20:04:50 +0100 Subject: [PATCH] chore: remove docker files --- docker/Dockerfile | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 docker/Dockerfile diff --git a/docker/Dockerfile b/docker/Dockerfile deleted file mode 100644 index c76f0df..0000000 --- a/docker/Dockerfile +++ /dev/null @@ -1,16 +0,0 @@ - -## Contributed by Walter Schulze (@awalterschulze) -## Simplified by Dirk Eddelbuettel (@eddelbuettel) - -FROM ubuntu:trusty -ENV DEBIAN_FRONTEND noninteractive - -RUN apt-get update -q -RUN apt-get install -qy texlive-full -RUN apt-get install -qy \ - gnuplot \ - wget \ - build-essential - -WORKDIR /data -VOLUME ["/data"]