Linux Installation esp32

[Bernhard F. (1atmel2)]

Habe die IDE laut Anleitung von Erik Bartmann installiert, jedoch 
erscheint beim Doppelklick auf das Arduino Script nur eine Textdatei.
Weiss jemand Rat. (habe allerdings eine zweite Installation der Arduino 
IDE auf dem Rechner).

[Sven K. (quotschmacher)]

dann mache das skript doch ausführbar

[Michael F. (maiestro)]

Falls Du nicht weißt wie das unter Linux funktioniert:

Auf einem XFCE-Desktop:
Rechtsklick auf die Datei -> Zugriffsrechte -> Hacken bei 'Programm: 
Datei darf als Programm gestartet werden' setzen

ALTERNATIV (klappt immer):

In der Console: Ins richtige Verzeichnis wechseln mit z.B.:

cd esp32

Dann die Datei arduino als ausführbar markieren:

chmod +x arduino

Dann kannst in der Console auch gleich die Software direkt starten:

./arduino

[Bernhard F. (1atmel2)]

Danke, bin schon einen Schritt weiter, jedoch kommt noch ein weiterer 
Fehler siehe Anhang.

[Mark S. (voltwide)]

URL="https://builder.arduino.cc/builder/v1/boards/0x10C4/0xEA60";, 
method=GET, response code=404,

sieht so aus als ob obige URL nicht gefunden wird