mit Linux jpg's in mp4 umwandeln

[Raketenwilli]

Das selbe (jpeg to mp4) wurde mal Ubuntu gefragt:

https://askubuntu.com/questions/610903/how-can-i-create-a-video-file-from-a-set-of-jpg-images

Ich möchte die nun als eine Art Timecode in die Filmchen einstanzen.

https://stackoverflow.com/questions/55664747/adding-date-and-time-to-the-image-using-imagemagick-via-php

Nun ja. PHP führt dazu convert aus.