2022-06-01 10:55:51 +02:00
|
|
|
FROM ubuntu
|
2022-06-02 14:47:56 +02:00
|
|
|
RUN sed -i -e 's/^APT/# APT/' -e 's/^DPkg/# DPkg/' /etc/apt/apt.conf.d/docker-clean; \
|
|
|
|
|
export DEBIAN_FRONTEND=noninteractive; \
|
2022-06-13 16:10:07 +02:00
|
|
|
apt update; apt install -y curl; \
|
|
|
|
|
curl -sL https://deb.nodesource.com/setup_16.x | bash; \
|
2022-06-22 09:26:39 +02:00
|
|
|
apt install -y jq texlive-full wget git cppcheck nodejs python3 python3-pip graphviz cmake; \
|
2022-06-02 15:18:55 +02:00
|
|
|
cd /tmp; \
|
|
|
|
|
wget https://github.com/jgm/pandoc/releases/download/2.18/pandoc-2.18-1-amd64.deb; \
|
2022-06-20 11:02:59 +02:00
|
|
|
dpkg -i pandoc-2.18-1-amd64.deb; \
|
2022-06-21 10:01:46 +02:00
|
|
|
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; \
|
2022-06-20 11:02:59 +02:00
|
|
|
pip3 install pandoc-plantuml-filter
|
