NEWBIE Unknown proxy host blocking the install of libraries

[dbbarron]

The IDE seems to be looking for library files behind a proxy host that doesn't exist.
It seems to be searching for MaccaroniandCheese as a proxy host, butwthat is a name of my main home SSID!.

I think I must have in error typed it in fof something and now its stuck as a proxy host name under Network Preferences (if I erase it, it won't go away for good.,. and I get this when adding a library;:

Downloading ArduinoMqttClient@0.1.6
ArduinoMqttClient@0.1.6
Failed to install library: ArduinoMqttClient:0.1.6.
Error: 13 INTERNAL: Can't download library: Get "https://downloads.arduino.cc/libraries/github.com/arduino-libraries/ArduinoMqttClient-0.1.6.zip": proxyconnect tcp: dial tcp: lookup maccaroniandcheese: no such host

[b707]

you can download it here

GitHub - arduino-libraries/ArduinoMqttClient: ArduinoMqttClient Library for...

and install manually as described in Arduino manual

[sterretje]

Which version of the IDE?
Which operating system?

[ptillisch]

Hi @dbbarron.

@dbbarron

now its stuck as a proxy host name under Network Preferences (if I erase it, it won't go away for good

This is a known bug:

Network configuration items can't be unset

I will share the workaround for this issue:

1. Select File > Quit from the Arduino IDE menus if it is running.
2. Use any text editor to open the file at the following path:
   • Windows:

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

   • Linux:

     ~/.arduinoIDE/arduino-cli.yaml
     

   • macOS:

     ~/.arduinoIDE/arduino-cli.yaml
     

   The .arduinoIDE folder may be hidden by default by your operating system.
3. Delete the lines from the file that have this format:

   network:
     proxy: http://pippo:pluto@example.com:1234/
     user_agent_ext: daemon
   

4. Save the file.
5. Start the Arduino IDE.

You should now find that "No proxy" is selected in the "Network" tab of the "Preferences" dialog.