Alle Mediendateien einer H5P-Datei nachträglich komprimieren
H5P-Dateien sind ein Lerninhaltsformat, das in verschiedenen Bildungsumgebungen für interaktive Online-Inhalte verwendet wird. In diesem konkreten Fall hatte ich eine H5P-Datei vorliegen, die aufgrund einer ganzen Reihe kaum komprimierter Mediendateien auf ~800 MB angewachsen war. Da das einzelne Austauschen der über 50 Mediendateien über die GUI sehr mühsam gewesen wäre, habe ich den Prozess vereinfacht. Eine H5P-Datei ist im Prinzip eine etwas spezielle (s.u.) umbenannte ZIP-Datei, die man im Prinzip lokal entpacken, nachbearbeiten und wieder verpacken kann....