Ts datei zur hex datei downloaden

Hallo zusammen,

zurzeit nutze ich den pxt server und würde gerne die Dateien, die ich im Blockcode erstelle, gerne auch als typescript Datei downloaden, vorallendingen dann, wenn ich nicht mit dem Internet verbunden bin.

Weis jemand, in welchem Ordner/ File die hex dateien erstellt werden oder wie man das anlegen kann, dass man immer automatisch auch eine ts datei mit downloaded, statt nur eine hex Datei?

Viele Grüße

Jens