From 9a38b456d767616c72d30ebba413b6154f2bc152 Mon Sep 17 00:00:00 2001 From: David Tomaschik Date: Sat, 11 Jun 2022 19:35:38 -0700 Subject: [PATCH] install_tool: arduino-cli --- bin/install_tool | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/bin/install_tool b/bin/install_tool index 7250696..9a734e8 100755 --- a/bin/install_tool +++ b/bin/install_tool @@ -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