From b64a12a638f92b338704356b86786b1843ff462e Mon Sep 17 00:00:00 2001 From: Marcel Schwarz Date: Sun, 29 Mar 2020 03:31:01 +0200 Subject: [PATCH] Remove Ubuntu, Remove run.bat --- ctan/run.bat | 8 -------- ubuntu/1804/Dockerfile | 10 ---------- ubuntu/2004/Dockerfile | 10 ---------- 3 files changed, 28 deletions(-) delete mode 100644 ctan/run.bat delete mode 100644 ubuntu/1804/Dockerfile delete mode 100644 ubuntu/2004/Dockerfile diff --git a/ctan/run.bat b/ctan/run.bat deleted file mode 100644 index 3809c6a..0000000 --- a/ctan/run.bat +++ /dev/null @@ -1,8 +0,0 @@ -docker build -t icaotix/latex:minimal --build-arg SOURCE=infraonly --build-arg SCHEME=minimal . -docker build -t icaotix/latex:basic --build-arg SOURCE=minimal --build-arg SCHEME=basic . -docker build -t icaotix/latex:small --build-arg SOURCE=basic --build-arg SCHEME=small . -docker build -t icaotix/latex:context --build-arg SOURCE=small --build-arg SCHEME=context . -docker build -t icaotix/latex:gust --build-arg SOURCE=context --build-arg SCHEME=gust . -docker build -t icaotix/latex:medium --build-arg SOURCE=gust --build-arg SCHEME=medium . -docker build -t icaotix/latex:tetex --build-arg SOURCE=medium --build-arg SCHEME=tetex . -docker build -t icaotix/latex:full --build-arg SOURCE=tetex --build-arg SCHEME=full . \ No newline at end of file diff --git a/ubuntu/1804/Dockerfile b/ubuntu/1804/Dockerfile deleted file mode 100644 index c4ea48a..0000000 --- a/ubuntu/1804/Dockerfile +++ /dev/null @@ -1,10 +0,0 @@ -FROM ubuntu:18.04 - -ENV DEBIAN_FRONTEND noninteractive -WORKDIR /data - -RUN apt-get update -q && apt-get install -qy \ - texlive-base biber\ - python-pygments gnuplot \ - make git \ - && rm -rf /var/lib/apt/lists/* diff --git a/ubuntu/2004/Dockerfile b/ubuntu/2004/Dockerfile deleted file mode 100644 index e529efa..0000000 --- a/ubuntu/2004/Dockerfile +++ /dev/null @@ -1,10 +0,0 @@ -FROM ubuntu:20.04 - -ENV DEBIAN_FRONTEND noninteractive -WORKDIR /data - -RUN apt-get update -q && apt-get install -qy \ - texlive-base biber\ - python-pygments gnuplot \ - make git \ - && rm -rf /var/lib/apt/lists/*