From 8d070e469f8240b483e4385e19531fa36e5eee10 Mon Sep 17 00:00:00 2001
From: lukas leufen <l.leufen@fz-juelich.de>
Date: Fri, 15 Jul 2022 12:01:30 +0200
Subject: [PATCH] change badge file name again
---
CI/update_badge.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/CI/update_badge.sh b/CI/update_badge.sh
index 139c6329..f1c1f839 100644
--- a/CI/update_badge.sh
+++ b/CI/update_badge.sh
@@ -63,8 +63,8 @@ else
fi
RECENT_BADGE_FILENAME="badge_recent-${CI_JOB_NAME}.svg"
-BADGE_FILENAME="$( echo -e "${BADGE_FILENAME// /%20}" )"
-RECENT_BADGE_FILENAME="$( echo -e "${RECENT_BADGE_FILENAME// /%20}" )"
+# BADGE_FILENAME="$( echo -e "${BADGE_FILENAME// /%20}" )"
+# RECENT_BADGE_FILENAME="$( echo -e "${RECENT_BADGE_FILENAME// /%20}" )"
# Get the badge from shields.io
SHIELDS_IO_NAME="https://img.shields.io/static/v1?label=${BADGE_STATUS}&message=${BADGE_SUBJECT}&color=${BADGE_COLOR}"
--
GitLab