From fbc2084dde82a61e6b947d90e0f3fa0f3867c0a2 Mon Sep 17 00:00:00 2001 From: david gauchard Date: Wed, 12 Dec 2018 23:35:57 +0100 Subject: [PATCH] show curl headers --- package/build_boards_manager_package.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package/build_boards_manager_package.sh b/package/build_boards_manager_package.sh index c8ed44e79..3cff24b72 100755 --- a/package/build_boards_manager_package.sh +++ b/package/build_boards_manager_package.sh @@ -130,7 +130,7 @@ 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 "${curl_gh_token_arg[@]}" https://api.github.com/repos/esp8266/Arduino/releases > releases.json +curl --silent -D /dev/stderr "${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)