Ich habe es durch Versuch und Irrtum herausgefunden, obgleich ich meine eigene Antwort nicht akzeptiere, falls jemand eine umfassendere Antwort geben möchte (z. B. erklären, wie die Codierungsdetails geändert werden sollen). Für meine Zwecke funktionierte Folgendes jedoch gut:
mpv "mf: //*.jpg" -mf-fps 30 -o movie.mpg
Das "mf://*.jpg"
ist eine spezielle Syntax zum Laden von Bildern; Das -mf-fps 30
ist optional und legt die Bildrate fest und das -o
wird zum Erstellen einer Ausgabedatei benötigt. (Andernfalls wird es in einer GUI zur Wiedergabe geöffnet.)