diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 093dc98..0f02adf 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -14,9 +14,9 @@ RUN apt-get update \ # PlantUML-Startskript in den Home-Ordner legen RUN echo '#!/bin/bash\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' \ - 'fi\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' \ + 'fi\n' \ > /home/vscode/.start-plantuml.sh && \ chmod +x /home/vscode/.start-plantuml.sh