Arduino CLI Error downloading library_index.json.gz

Hello I am facing an issue with using Arduino CLI. I am attempting to upload a sketch on my arduino via Arduino CLI, but it fails every time.

The error I see is " Error initializing instance: Error downloading library_index.json.gz: Get "https://downloads.arduino.cc/libraries/library_index.json.gz": dial tcp: lookup downloads.arduino.cc: no such host
Error during Upload: "

For what it's worth, I am able to view "https://downloads.arduino.cc/libraries/library_index.json" on my google chrome browser, with no issue.

I am using an Arduino Leonardo and using arduino-cli_0.19.2_Windows_64bit.

Any help is greatly appreciated.

Kind regards

Hi @ElDorado33. Are you still having the problem? I ask because it's possible this was a transient network outage that has since been resolved.

1 Like

Hello, yes I am still having this problem. Could you please share the solution? Would I need to download a different version of Arduino CLI?

What version should I download to fix this?

Are you connecting to the Internet through a proxy?

No, its through an internet port.