arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-28 05:01:28 +03:00
Code Activity

igrr fix from feature/travis_jobs_tmp

Browse Source
This commit is contained in:
David Gauchard
2018-12-11 16:51:50 +01:00
parent 4169f88cc1
commit 2c45392343
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
package/build_boards_manager_package.sh
View File

@ -134,12 +134,18 @@ cat $srcdir/package/package_esp8266com_index.template.json | \
jq "$jq_arg" > package_esp8266com_index.json
# Use Github API token, if available
curl_gh_token_arg=()
curl_gh_token_arg=""
if [ ! -z "$CI_GITHUB_API_KEY" ]; then
curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY")
echo "Authorization using CI_GITHUB_API_KEY"
curl_gh_token_arg="-H \"Authorization: token $CI_GITHUB_API_KEY\""
else
echo "Warning: CI_GITHUB_API_KEY not set"
fi
echo "===================================="
curl $curl_gh_token_arg -D - https://api.github.com/repos/esp8266/Arduino/releases
echo "===================================="
# Get previous release name
curl --silent "${curl_gh_token_arg[@]}" https://api.github.com/repos/esp8266/Arduino/releases > releases.json
curl --silent $curl_gh_token_arg https://api.github.com/repos/esp8266/Arduino/releases > releases.json
# 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)