diff --git a/CI/update_badge.sh b/CI/update_badge.sh index ed058c3596f6518fb1ee2ac48dc9a230af15dd70..f723da3a3fde45553cf842e128469255360aaf03 100644 --- a/CI/update_badge.sh +++ b/CI/update_badge.sh @@ -63,6 +63,9 @@ 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}" )" + # Get the badge from shields.io SHIELDS_IO_NAME="https://img.shields.io/static/v1?label=${BADGE_STATUS}&message=${BADGE_SUBJECT}&color=${BADGE_COLOR}" SHIELDS_IO_NAME="$( echo -e "${SHIELDS_IO_NAME// /%20}" )"