Wo ist die Erweiterung Grove?

Ich habe heute in der Schule wieder eine Überraschung erlebt. Die Erweiterung Grove ist verschwunden.
Für den Zweck habe ich mir schon die Links in einer Datenbank gespeichert, aber der lädt auch nicht:

Wenn ich in einem vorhandenen Projekt Grove v0.2.7 aktualisiere, ist es leer…
Lutz

@joern.alraun schau ins pxt.json dort importierst Du ua/Grove-strings.json, die localedatei hast du aber unter uk gespeichert!
Außerdem hängt da noch ein alter pull-request von mir rum.

@asp.net verwende erstmal GitHub - MKleinSB/pxt-grove: A Microsoft MakeCode package for Seeed Studio Grove module bis Joern das gefixt hat.

Viel Erfolg

Michael

Das ist gefixed! Danke.
Leider hängt das immer alles im Cache, deshalb hat es bei mir geklappt.

@asp.net wenn du ein Programm mit der Erweiterung nimmst, dann klappt es. Als Backup ist eine Datei mit der jeweiligen (oder mehreren) deshalb sinnvoller.