From afed781e92137d0a0a94ec4cc071279dd460796f Mon Sep 17 00:00:00 2001 From: david gauchard Date: Wed, 12 Dec 2018 23:56:21 +0100 Subject: [PATCH] test --- package/build_boards_manager_package.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/package/build_boards_manager_package.sh b/package/build_boards_manager_package.sh index c0ed25b04..3934f6146 100755 --- a/package/build_boards_manager_package.sh +++ b/package/build_boards_manager_package.sh @@ -125,9 +125,9 @@ cat $srcdir/package/package_esp8266com_index.template.json | \ jq "$jq_arg" > package_esp8266com_index.json #force -echo "${CI_GITHUB_API_KEY}" +echo "1=${CI_GITHUB_API_KEY}" CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ=" -echo "${CI_GITHUB_API_KEY}" +echo "2=${CI_GITHUB_API_KEY}" # Use Github API token, if available curl_gh_token_arg=() @@ -135,7 +135,11 @@ if [ ! -z "$CI_GITHUB_API_KEY" ]; then curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY") fi # Get previous release name -curl --silent -D /dev/stderr "${curl_gh_token_arg[@]}" https://api.github.com/repos/esp8266/Arduino/releases > releases.json +echo "debug: curl --silent -D /dev/stderr ${curl_gh_token_arg[@]}" +curl --silent -D /dev/stderr ${curl_gh_token_arg[@]} https://api.github.com/repos/esp8266/Arduino/releases > releases.json || \ +curl --silent -D /dev/stderr https://api.github.com/repos/esp8266/Arduino/releases > releases.json || \ +exit 0 + # Previous final release (prerelase == false) prev_release=$(jq -r '. | map(select(.draft == false and .prerelease == false)) | sort_by(.created_at | - fromdateiso8601) | .[0].tag_name' releases.json) # Previous release (possibly a pre-release)