fix

Author: lucasssvaz

tools/push-to-arduino.sh

@@ -46,8 +46,9 @@ if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 		fi
 	fi
 
+	# Calculate the local file checksum and size
 	local_checksum=$(sha256sum "dist/$LIBS_ZIP_FILENAME" | awk '{print $1}')
-	size=$(stat -c%s "dist/$LIBS_ZIP_FILENAME")
+	local_size=$(stat -c%s "dist/$LIBS_ZIP_FILENAME")
 	IDF_LIBS_DL_URL="https://github.com/$AR_LIBS_REPO/releases/download/$LIBS_RELEASE_TAG/$LIBS_ZIP_FILENAME"
 
 	# Download the file
@@ -65,8 +66,12 @@ if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 		fi
 	fi
 
-	# Calculate the SHA-256 sum
+	# Calculate the remote file checksum and size
 	remote_checksum=$(sha256sum "$remote_file" | awk '{print $1}')
+	remote_size=$(stat -c%s "$remote_file")
+
+	echo "Local: $local_size bytes, $local_checksum"
+	echo "Remote: $remote_size bytes, $remote_checksum"
 
 	# Check if the checksums match
 	if [ "$local_checksum" != "$remote_checksum" ]; then
@@ -82,8 +87,6 @@ if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 		remote_checksum=$(sha256sum "$remote_file" | awk '{print $1}')
 		if [ "$local_checksum" != "$remote_checksum" ]; then
 			echo "Checksum mismatch for downloaded file after retry"
-			echo "Local: $local_checksum"
-			echo "Remote: $remote_checksum"
 			echo "Deleting asset and exiting..."
 			if [ `github_release_asset_delete "$AR_LIBS_REPO" "$LIBS_ASSET_ID"` == "0" ]; then
 				echo "ERROR: Failed to delete asset '$LIBS_ZIP_FILENAME'"
@@ -104,7 +107,7 @@ if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 	echo "SHA-256: $sha256sum"
 	echo "JSON: $AR_OUT/package_esp32_index.template.json"
 	cd "$AR_ROOT"
-	python3 tools/add_sdk_json.py -j "$AR_OUT/package_esp32_index.template.json" -n "esp32-arduino-libs" -v "$LIBS_VERSION" -u "$IDF_LIBS_DL_URL" -f "$LIBS_ZIP_FILENAME" -s "$size" -c "$sha256sum"
+	python3 tools/add_sdk_json.py -j "$AR_OUT/package_esp32_index.template.json" -n "esp32-arduino-libs" -v "$LIBS_VERSION" -u "$IDF_LIBS_DL_URL" -f "$LIBS_ZIP_FILENAME" -s "$size" -c "$remote_checksum"
 	if [ $? -ne 0 ]; then exit 1; fi
 
 	if [ `github_release_asset_upload "$AR_LIBS_REPO" "$LIBS_RELEASE_ID" "$LIBS_JSON_FILENAME" "$AR_OUT/package_esp32_index.template.json"` == ""]; then