RetroSearch Browse

Showing content from https://github.com/arduino/arduino-cli/commit/a008ef0b50a366acaf7f20ac83c502a798065361 below:

File tree Expand file treeCollapse file tree 1 file changed

-10

lines changed

Filter options

Expand file treeCollapse file tree 1 file changed

-10

lines changed Original file line number Diff line number Diff line change


 @@ -102,11 +102,12 @@ getFile() {

102 102


 GETFILE_URL="$1"

103 103


 GETFILE_FILE_PATH="$2"

104 104


 if [ "$DOWNLOAD_TOOL" = "curl" ]; then

105

-
 GETFILE_HTTP_STATUS_CODE=$(curl -s -w '%{http_code}' -L "$GETFILE_URL" -o "$GETFILE_FILE_PATH")

105

+
 GETFILE_HTTP_STATUS_CODE=$(curl --silent --show-error --write-out '%{http_code}' --location "$GETFILE_URL" -o "$GETFILE_FILE_PATH")

106 106


 elif [ "$DOWNLOAD_TOOL" = "wget" ]; then

107 107


 TMP_FILE=$(mktemp)

108 108


 wget --server-response --content-on-error -q -O "$GETFILE_FILE_PATH" "$GETFILE_URL" 2>"$TMP_FILE"

109 109


 GETFILE_HTTP_STATUS_CODE=$(awk '/^ HTTP/{print $2}' "$TMP_FILE")

110

+
 rm -f "$TMP_FILE"

110 111

fi

111 112


 echo "$GETFILE_HTTP_STATUS_CODE"

112 113


 @@ -155,15 +156,10 @@ downloadFile() {

155 156


 echo "Trying to find a release using the GitHub API."

156 157 157 158


 LATEST_RELEASE_URL="https://api.github.com/repos/${PROJECT_OWNER}/$PROJECT_NAME/releases/tags/$TAG"

158

-
 if [ "$DOWNLOAD_TOOL" = "curl" ]; then

159

-
 HTTP_RESPONSE=$(curl -sL --write-out 'HTTPSTATUS:%{http_code}' "$LATEST_RELEASE_URL")

160

-
 HTTP_STATUS_CODE=$(echo "$HTTP_RESPONSE" | tr -d '\n' | sed -e 's/.*HTTPSTATUS://')

161

-
 BODY=$(echo "$HTTP_RESPONSE" | sed -e 's/HTTPSTATUS\:.*//g')

162

-
 elif [ "$DOWNLOAD_TOOL" = "wget" ]; then

163

-
 TMP_FILE=$(mktemp)

164

-
 BODY=$(wget --server-response --content-on-error -q -O - "$LATEST_RELEASE_URL" 2>"$TMP_FILE" || true)

165

-
 HTTP_STATUS_CODE=$(awk '/^ HTTP/{print $2}' "$TMP_FILE")

166

-
 fi

159

+
 TMP_BODY_FILE=$(mktemp)

160

+
 HTTP_STATUS_CODE=$(getFile "$LATEST_RELEASE_URL" "$TMP_BODY_FILE")

161

+
 BODY=$(cat "$TMP_BODY_FILE")

162

+
 rm -f "$TMP_BODY_FILE"

167 163


 if [ "$HTTP_STATUS_CODE" != 200 ]; then

168 164


 echo "Request failed with HTTP status code $HTTP_STATUS_CODE"

169 165


 fail "Body: $BODY"

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4