rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00
Code Issues Releases Activity

Added script to automatically update arduino-cli

Browse Source
This commit is contained in:
Cristian Maglie 2020-07-15 11:51:26 +02:00
parent 9eb535e375
commit 64c53afa20
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
build/update_arduino_cli.sh Executable file
View File

@ -0,0 +1,20 @@
#!/bin/bash -ex
VERSION=$1
if [ -z $VERSION ]; then
echo Please specify an arduino-cli version
exit 1
fi
git rm arduino-cli*.sha -f
rm -f arduino-cli_${VERSION}*
for VARIANT in Linux_32bit.tar.gz Linux_64bit.tar.gz Linux_ARM64.tar.gz macOS_64bit.tar.gz Linux_ARMv7.tar.gz Windows_32bit.zip; do
wget https://downloads.arduino.cc/arduino-cli/arduino-cli_${VERSION}_${VARIANT}
shasum arduino-cli_${VERSION}_${VARIANT} | cut -d " " -f 1 > arduino-cli_${VERSION}_${VARIANT}.sha
git add arduino-cli_${VERSION}_${VARIANT}.sha
done
sed -i "s/\\(ARDUINO-CLI-VERSION\" value=\\)\"\\(.*\\)\"/\\1\"${VERSION}\"/" build.xml
git add build.xml