diff options
| author | jkoan <jkoan@users.noreply.github.com> | 2018-10-12 08:07:39 +0300 |
|---|---|---|
| committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-10-11 22:07:39 -0700 |
| commit | 45e68bc5f009ee1165b6ff467bcc70f347e1512c (patch) | |
| tree | 4c81bf42b2b8ebe7c5f85ac79b159567baebc3e6 /scripts | |
| parent | fbc37b695b86433059ce318925de23221f969062 (diff) | |
| download | navit-45e68bc5f009ee1165b6ff467bcc70f347e1512c.tar.gz | |
fix:build:Pad metadata files so jekyll sort works corect (#684)
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/update_download_center.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/update_download_center.sh b/scripts/update_download_center.sh index 9b59b457e..9f4414ddf 100644 --- a/scripts/update_download_center.sh +++ b/scripts/update_download_center.sh @@ -69,7 +69,7 @@ cd $UUID/_data/$JOB_NAME ############################################# echo "Download metadata of this build" -wget --no-check-certificate $URL_BUILD_ARTIFACTS -O ${BUILD_NUM}.json +wget --no-check-certificate $URL_BUILD_ARTIFACTS -O $(printf "%10d" ${BUILD_NUM}).json RC=$? if [ $RC -ne 0 ]; then echo "wget artifacts download failed" @@ -82,7 +82,7 @@ echo "Push update to ${NAVIT_DOWNLOAD_CENTER_REPO}" git config --global push.default simple git config user.name "Circle CI" git config user.email "circleci@navit-project.org" -git add ${BUILD_NUM}.json +git add $(printf "%10d" ${BUILD_NUM}).json git commit -m "add:artifacts:Add artifacts for build #${BUILD_NUM} with SHA1:${CIRCLE_SHA1}" git push RC=$? |