Arduino IDE (1.8.19) : Error downloading index.json files

    In meiner Arduino IDE habe ich folgende 4 URLs (durch Kommas getrennt) in den Preferences im Feld
    Aditional Boards Manager URLs


    Code
    https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
http://arduino.esp8266.com/stable/package_esp8266com_index.json
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
https://github.com/stm32duino/BoardManagerFiles/raw/main/package_stmicroelectronics_index.json


    Nun habe in in den letzten Tagen (oder 1-2 Wochen?) das Problem, dass je nach Tageszeit ich beim Aufruf des Boards Managers

    oder beim Start der Arduino IDE (weil diese automatisch nach Updates sucht) von einigen URLs eine Fehlermeldung im Messages-Fenster erhalte:

    Code
    Error downloading https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
Error downloading https://github.com/stm32duino/BoardManagerFiles/raw/main/package_stmicroelectronics_index.json
Error downloading https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json


    Dies hat vorher immer geklappt :(


    Im Chrome/Firefox Browser lassen sich die URLs aufrufen und es kommt auch das File zurueck.


    Windows Firewall (Apps ist berechtigt) und Pihole (github URLs sind in der Whitelist) habe ich gecheckt (sonst wuerde es auch nicht im Browser gehen in Bezug auf das Pihole)


    Auch mit deaktivierter Firewall/Pihole klappt es nicht.


    Das einzige was mir noch aufgefallen war, als mit aktualisiertem idex.json fuers RP2040 spaeter die Board-Unterstuetzung runterladen wollte, bekam ich eine lange Java-Fehermeldung die einen TimeOut anzeigte.


    So kann ich mir nur vorstellen, dass die Arduino IDE evtl. ein zu kurzes TimeOut hat und deshalb meint nicht an die Files zu bekommen....

    Im Browser geht es meist sofort, aber ab und zu braucht er auch mal 5-10 Sekunden :(


    Kann es an github liegen (routing im Internet?), da die URL arduino.esp8266.com bei der Fehlermeldung eigentlich nicht betroffen ist?


    Hat dazu jemand eine Idee/Hilde/Setting?


    Ich habe keine Einstellmoeglichkeit fuer ein TimeOut gefunden und in den Network-Settings der Arduino IDE ist auch No Proxy angehakt/eingestellt.




    So ;) ich bin erstmal wieder zufrieden - durch 2 Loesungsansaetze:


    1) Ich habe keine Downloadprobleme mit der neuen Arduino IDE 2.0.0rc9.2
    Allerdings ist die in der Anwendung etwas anders - aber wenn man sich dran gewoehnt hat auch OK

    insbesondere die neuen Farb-Themes. Das helle gruene gibts nicht mehr, aber das dunkele finde ich eh besser lesbar und die neue(?) Schriftart ist fuer mich auch besser lesbar ;)


    Die 2.0.0rc9.2 erscheint im Gegensatz zur 1.8.x nicht in der Windows-Firewall mit der javaw.exe als Freigabe...


    2.) habe ich nach folgender Anleitung einen Squid-Proxy auf meinem armbian SBC aufgesetzt und den als manuellen Proxy in die Network-Settings der Arduino IDE 1.8.19 eingetragen.

    Der Download klappt da nun ohne Fehlermeldung (wenn auch genauso langsam wie in der 2.0.0rc9.2), auch wenn ich nicht weiss warum ueberhaupt eine kam.


    Anpassen musste ich fuer meinen Gebrauch die /etc/squid/squid.conf damit alle Clients aus meinem lokalen Netz zugreifen koennen (einen arduino User habe ich mit Passwort angelegt ueber htpasswd.