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.