Bestimmten Fork in Arduino IDE installieren

Gast #6348978
Lesenswert?

Hallo zusammen,

ich möchte ein Projekt in Arduino nachzubauen und versuche dafür gerade 
die Entwicklungsumgebung zu installieren. Die Installation der Arduino 
IDE hat schonmal funktioniert. Da das Projekt einen ESP32 verwendet, 
müsste ich wohl als nächstes eigentlich das ESP32 Board installieren. 
Das geht wohl, indem ich als Boardverwalter URL Folgendes eingeben:
1
https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json


Allerdings weist der Autor des Projekts explizit darauf hin, dass diese 
Quelle für sein Projekt nicht funktioniert. Stattdessen solle man 
folgendes verwenden:
1
https://github.com/wakwak-koba/arduino-esp32

Wie aber installiere ich diesen Fork? Ich finde darin nirgends eine 
passende Boardverwalter URL! Kann mir jemand weiterhelfen?

Danke
Steffen
#6349095
Lesenswert?

Joachim B. schrieb:
> und was meint "Fork" in diesem Zusammenhang?

Du kannst in der Arduino-IDE so Devicebeschreibungen einfügen, um die 
Devices darin nutzen zu können – so ganz genau weiß ich’s auch nicht, 
weil ich das nicht nutze. Es gibt ein solches Paket für ein bestimmtes 
Device, und jemand hat’s sich kopiert, es erweitert/verändert und bietet 
es nun seinerseits auf Github an. Dieser Vorgang, das Kopieren und 
Selbstanbieten, wird „Fork“ genannt – abgeleitet von „Gabel“, weil sich 
die Entwicklungslinien an dieser Stelle spalten, gabeln.

Der zweite Link (leider auf unklickbar formatiert – warum eigentlich?) 
zeigt auf so einen Fork des Projektes unter dem ersten Link.
Gast #6349343
Lesenswert?

Vielen Dank, Jack V.! Ich hatte mich so sehr auf die Suche nach der 
.json Datei konzentriert, dass ich nicht auf den doc Ordner geachtet 
hatte. Die Anleitung dort hat funktioniert!

(Hinweis, falls es jemand nachmacht: man muss natürlich das Repository 
des gewünschten Forks angeben - in der Anleitung wird das Standard ESP32 
Repository verwendet).

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren