From 24d4fd081f5858cc2c1ca9bd0c58c74a6313795d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Julian=20K=C3=B6nig?= Date: Tue, 3 Jun 2025 12:25:21 +0200 Subject: [PATCH] ci: replace special chars --- .ci/writeBuildInformation.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.ci/writeBuildInformation.sh b/.ci/writeBuildInformation.sh index f7a0964..20f3986 100755 --- a/.ci/writeBuildInformation.sh +++ b/.ci/writeBuildInformation.sh @@ -26,6 +26,8 @@ if [ "$DEPENDENCIES" = "null" ]; then DEPENDENCIES="{}" fi +DEPENDENCIES="${DEPENDENCIES//[\/]/\\/}" # replace '/' with '\/' because it's a special char + DATE=$(date -u --iso-8601=seconds) echo "Writing the following properties into $TARGET_FILE"