From c237218b320b1f285af430d02c2e630de8234588 Mon Sep 17 00:00:00 2001 From: Stephan Stanisic Date: Tue, 21 Jun 2022 10:01:46 +0200 Subject: [PATCH] Install pandoc from website instead of repos The version in the repos was outdated --- Dockerfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index cdf199b..baf87d5 100644 --- a/Dockerfile +++ b/Dockerfile @@ -3,8 +3,11 @@ RUN sed -i -e 's/^APT/# APT/' -e 's/^DPkg/# DPkg/' /etc/apt/apt.conf.d/docker-cl export DEBIAN_FRONTEND=noninteractive; \ apt update; apt install -y curl; \ curl -sL https://deb.nodesource.com/setup_16.x | bash; \ - apt install -y texlive-full jq wget git cppcheck nodejs python3 python3-pip graphviz plantuml; \ + apt install -y jq texlive-full wget git cppcheck nodejs python3 python3-pip graphviz; \ cd /tmp; \ wget https://github.com/jgm/pandoc/releases/download/2.18/pandoc-2.18-1-amd64.deb; \ dpkg -i pandoc-2.18-1-amd64.deb; \ + wget https://github.com/plantuml/plantuml/releases/download/v1.2022.5/plantuml-1.2022.5.jar; \ + printf "#!/bin/sh\njava -jar /tmp/plantuml-1.2022.5.jar \${@}" > /usr/bin/plantuml; \ + chmod +x /usr/bin/plantuml; \ pip3 install pandoc-plantuml-filter