fix

Author: lucasssvaz

tools/push-to-arduino.sh

@@ -53,13 +53,13 @@ if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 
 	# Download the file
 	remote_file="remote-$LIBS_ZIP_FILENAME"
-	curl -s -o "$remote_file" "$IDF_LIBS_DL_URL"
+	curl -s -L -o "$remote_file" "$IDF_LIBS_DL_URL"
 
 	# Check if the download was successful
 	if [ $? -ne 0 ]; then
 		echo "Error downloading file from $IDF_LIBS_DL_URL. Retrying..."
 		rm -f "$remote_file"
-		curl -s -o "$remote_file" "$IDF_LIBS_DL_URL"
+		curl -s -L -o "$remote_file" "$IDF_LIBS_DL_URL"
 		if [ $? -ne 0 ]; then
 			echo "Error downloading file from $IDF_LIBS_DL_URL"
 			exit 1
@@ -78,7 +78,7 @@ if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 		echo "Checksum mismatch for downloaded file. Retrying..."
 		rm "$remote_file"
 
-		curl -s -o "$remote_file" "$IDF_LIBS_DL_URL"
+		curl -s -L -o "$remote_file" "$IDF_LIBS_DL_URL"
 		if [ $? -ne 0 ]; then
 			echo "Error downloading file from $IDF_LIBS_DL_URL"
 			exit 1