From bde443c16a70aafa7db036f915a4e2d4b111f9a1 Mon Sep 17 00:00:00 2001 From: "Max P." Date: Thu, 27 Nov 2025 17:35:35 +0100 Subject: [PATCH] chore(devcontainer): fix indentation in PlantUML start script --- .devcontainer/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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