Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] Update arduino-cli binary filename #24

Merged
merged 1 commit into from
Mar 5, 2020
Merged

[WIP] Update arduino-cli binary filename #24

merged 1 commit into from
Mar 5, 2020

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Aug 7, 2019

The arduino-cli binary filename was recently changed, which broke CI builds:

mv: cannot stat ‘arduino-cli-*-linux64’: No such file or directory

@per1234 per1234 changed the title Update arduino-cli binary filename [WIP] Update arduino-cli binary filename Aug 12, 2019
@sandeepmistry
Copy link
Contributor

sandeepmistry commented Sep 18, 2019

Hi @per1234,

Thanks for this change, @rsora has provided a new URL for the latest release: https://downloads.arduino.cc/arduino-cli/arduino-cli_latest_Linux_64bit.tar.gz

It would be great to include using it in this pull request. What do you think?

@aentinger
Copy link
Contributor

Hi @per1234 👋 I'm pretty sure this PR is outdated by now, however I'd still be in need for CI for this repository. Can you please update this PR to fit the current scheme of installing arduino-cli?

The arduino-cli binary filename was changed, which broke CI builds:

mv: cannot stat ‘arduino-cli-*-linux64’: No such file or directory
@per1234
Copy link
Contributor Author

per1234 commented Mar 5, 2020

@aentinger I have now done so. I apologize for being so slow on this. When Sandeep Mistry made that request I was too sick to work, and I haven't managed to work through all the backlog since then.

@aentinger
Copy link
Contributor

Don't worry @per1234 ;) I've just stumbled on it. Thank you for the fix 👍

@aentinger aentinger merged commit d69689d into arduino-libraries:master Mar 5, 2020
@per1234 per1234 deleted the fix-arduino-cli-filename branch March 5, 2020 08:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants