Arduino library not installing

[capt-dogbeard]

Hello everybody I need some help figuring out why Arduino IDE is not installing/updating the libraries ArduinoOTA@1.1.0
Failed to install library: 'ArduinoOTA:1.1.0'.
Error: 13 INTERNAL: Can't download library: Get "https://downloads.arduino.cc/libraries/github.com/jandrassy/ArduinoOTA-1.1.0.zip?query=upgrade": proxyconnect tcp: dial tcp: lookup _: no such host
Downloading Ticker@4.4.0
Ticker@4.4.0
Failed to install library: 'Ticker:4.4.0'.
Error: 13 INTERNAL: Can't download library: Get "https://downloads.arduino.cc/libraries/github.com/sstaub/Ticker-4.4.0.zip?query=upgrade": proxyconnect tcp: dial tcp: lookup _: no such host and https://arduino.esp8266.com/stable/package_esp8266com_index.json . I tried to doing it my self but it did not work i have restarted it, that didn't work so i don't know what to do. (btw i am some what new to this, programing wise, and i have ADHD/Autism/Asperger's, so bear with me and this is my first time starting a topic) so if anybody knows what to do let me know thanks

[jremington]

Open up the Arduino IDE and under Tools>Manage libraries, enter the library name in the search box and click "Install" to have the IDE install it automatically.

[ptillisch]

Hi @capt-dogbeard.

@capt-dogbeard

Error: 13 INTERNAL: Can't download library: Get "https://downloads.arduino.cc/libraries/github.com/sstaub/Ticker-4.4.0.zip?query=upgrade": proxyconnect tcp: dial tcp: lookup _: no such host and https://arduino.esp8266.com/stable/package_esp8266com_index.json

There is a bug in Arduino IDE (which should be fixed in the next release) that causes it to get an invalid configuration if you set the preferences to cause Arduino IDE to access the Internet through a proxy server, and then later change the preferences back to "No proxy". This error indicates that your Arduino IDE preferences are in this bad state.

I'll provide instructions you can follow to fix the configuration:

1. Select File > Quit from the Arduino IDE menus if it is running.
2. Delete the file at the following path:

   C:\Users\<username>\.arduinoIDE\arduino-cli.yaml
   

   (where <username> is your Windows username)
   Please be careful when deleting things from your computer. When in doubt, back up!
3. Start Arduino IDE.

Arduino IDE should now start up fully and be functional as usual.

Note that the file you deleted is also used to store other IDE preferences. These will all have been reset to the default values. If you had customized either the "Sketchbook location"
or "Additional Boards Manager URLs" preferences, you'll need to select File > Preferences from the Arduino IDE menus and then set those preferences once again.

---

Please let me know if you have any questions or problems while following those instructions.