[Tiptoi] REC Dateien nach WAV/MP3 konvertieren

[cleracruza]

Hallo!

TL;DR: ttbox hat ein Kommando bekommen um die REC Dateien (also Aufnahmen der
Stifte mit Aufnahmefunktion) nach WAV/MP3 zu konvertieren. Und unter

  https://ttwebhelpers.quelltextlich.at/

gibt's das als Webdienst.

---------------------------

Die Aufnahmefunktion der neueren TipToi Stifte ist super. Aber wir wollten die
Aufnahmen gerne 1. archivieren und 2. auch zB auf einem MP3 Player abspielen
können.

Dank der tollen Wiki Seite zum REC Dateiformat [1] (Danke dafür!) sieht man,
dass das zwar technisch keine Hexerei ist, aber es fehlten halt tools [2], die
das automatisch machen können.

Darum hab ich das jetzt in ttbox eingebaut. Das Kommando:

  ./ttbox convert-rec RecSlot0001.rec

konvertiert die Datei RecSlot0001.rec in eine WAV Datei RecSlot0001.wav und
die klappt dann in Standard-Abspielprogrammen. Nach MP3 konvertieren geht
auch:

  ./ttbox convert-rec --format mp3 RecSlot0001.rec

Wenn man da eine `for` Schleife drumrum packt, kann man bequem alle .rec
Dateien eines Stiftes in ein archivierbares Format bringen :-)

Weil aber ttbox außerhalb von Linux schwieriger zu installieren (und leider
immer noch Python 2.7 *yikes*) ist, gibt's das ganze auch noch Webdienst unter

  https://ttwebhelpers.quelltextlich.at/

Bei dem Webdienst muss man Dateien zwar einzeln konvertieren, aber dafür ist
der Webdienst auch ohne Linux und Kommandozeile leicht zu bedienen.


Liebe Grüße,
Cleracruza



P.S.: Weil Privatsphäre ja immer so ein Ding ist und gerade bei
Sprach-Aufnahmen von Kindern ... das will man ja nicht ins Internet zum
Konvertieren hochladen. Deswegen ist der Webdienst reines Javascript. Er
schickt keine eurer Dateien zum Server. Die Konvertierung passiert direkt auf
eurem Rechner in eurem Browser.

Quellen zum Webdienst liegen unter https://github.com/cleracruza/ttwebhelpers



[1] https://github.com/entropia/tip-toi-reveng/wiki/REC-file-format
[2] https://unix.stackexchange.com/questions/398481/xor-a-file-against-a-key