install_tool: arduino-cli

This commit is contained in:
David Tomaschik
2022-06-11 19:35:38 -07:00
parent a4196d7bc1
commit 9a38b456d7

View File

@@ -450,6 +450,14 @@ EOF
tar -C ${DESTDIR} -zxf /tmp/starship.tar.gz starship
add_bin_symlink starship
;;
arduino-cli)
mkdir -p "${DESTDIR}"
download \
"https://downloads.arduino.cc/arduino-cli/arduino-cli_latest_Linux_64bit.tar.gz" \
/tmp/arduino-cli.tar.gz
tar -C "${DESTDIR}" -zxf /tmp/arduino-cli.tar.gz arduino-cli
add_bin_symlink arduino-cli
;;
*)
echo "Unknown tool: ${TOOL}" >/dev/stderr
list_tools