Skip to content

Commit

Permalink
jmm
Browse files Browse the repository at this point in the history
  • Loading branch information
ktauchathuranga committed Dec 8, 2024
1 parent 59f523a commit 6318d19
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions entrypoint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -18,18 +18,18 @@ PR_TITLE=$(jq --raw-output .pull_request.title $GITHUB_EVENT_PATH)
PR_VERSION=$(grep '^version=' library.properties | cut -d'=' -f2)
MAIN_VERSION=$(git fetch origin main && git checkout origin/main -- library.properties && grep '^version=' library.properties | cut -d'=' -f2)

# Install arduino-cli manually
if ! command -v arduino-cli &> /dev/null
# Install arduino-lint manually
if ! command -v arduino-lint &> /dev/null
then
echo "arduino-cli not found, installing..."
echo "arduino-lint not found, installing..."

# Download the Arduino CLI binary
curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh
# Download the Arduino LINT binary
curl -fsSL https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/install.sh | sh

# Move to a directory in PATH
mv bin/arduino-cli /usr/local/bin/
mv bin/arduino-lint /usr/local/bin/
else
echo "arduino-cli already installed"
echo "arduino-lint already installed"
fi

# Export variables for Python script
Expand Down

0 comments on commit 6318d19

Please sign in to comment.