Nun wollte ich aus diesen Einzelbildern einen kleinen Zeitrafferfilm machen.
ffmpeg scheint da das Tool der Wahl zu sein, und schnell wurden auch dir richtigen Optionen gefunden.
$ ffmpeg -pattern_type glob -i '20130801*.jpg' day2.mp4
Leider stieg das nach ein paar Minuten mit der Fehlermeldung
20130801*.jpg: Input/output error
aus. Sehr hilfreich. Not.
Stellte sich nach etwas suchen heraus, das wir einige leere Files unter den Bildern hatten.
Ein
$ find . -name \*.jpg -size 0 | xargs rm
hat geholfen.