Compare commits
2 Commits
8fa041a265
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
|
bde443c16a
|
|||
|
fcccd67638
|
@@ -1,15 +1,22 @@
|
|||||||
FROM mcr.microsoft.com/devcontainers/base:ubuntu
|
FROM mcr.microsoft.com/devcontainers/base:ubuntu
|
||||||
|
|
||||||
# Install Java and graphviz (for local rendering)
|
# Install Java and graphviz (for local rendering)
|
||||||
RUN apt-get update && \
|
RUN apt-get update \
|
||||||
apt-get install -y openjdk-17-jre graphviz wget && \
|
&& apt-get install -y --no-install-recommends \
|
||||||
wget https://downloads.sourceforge.net/project/plantuml/plantuml.jar -O /usr/local/bin/plantuml.jar
|
openjdk-17-jre \
|
||||||
|
graphviz \
|
||||||
|
curl \
|
||||||
|
&& curl -L \
|
||||||
|
https://github.com/plantuml/plantuml/releases/latest/download/plantuml.jar \
|
||||||
|
-o /usr/local/bin/plantuml.jar \
|
||||||
|
&& apt-get clean \
|
||||||
|
&& rm -rf /var/lib/apt/lists/*
|
||||||
|
|
||||||
# PlantUML-Startskript in den Home-Ordner legen
|
# PlantUML-Startskript in den Home-Ordner legen
|
||||||
RUN echo '#!/bin/bash\n' \
|
RUN echo '#!/bin/bash\n' \
|
||||||
'if ! pgrep -f "plantuml.jar -picoweb" > /dev/null; then\n' \
|
'if ! pgrep -f "plantuml.jar -picoweb" > /dev/null; then\n' \
|
||||||
' nohup java -Djava.awt.headless=true -jar /usr/local/bin/plantuml.jar -picoweb -port 8080 > ~/.plantuml.log 2>&1 &\n' \
|
' nohup java -Djava.awt.headless=true -jar /usr/local/bin/plantuml.jar -picoweb -port 8080 > ~/.plantuml.log 2>&1 &\n' \
|
||||||
'fi\n' \
|
'fi\n' \
|
||||||
> /home/vscode/.start-plantuml.sh && \
|
> /home/vscode/.start-plantuml.sh && \
|
||||||
chmod +x /home/vscode/.start-plantuml.sh
|
chmod +x /home/vscode/.start-plantuml.sh
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user