Wenn ich mich recht erinnere, war ffmpeg ziemlich gut darin und ist auch für Linux verfügbar. Das erste, was Sie tun müssen, ist, alle Ihre Dateien in einer ähnlichen Angelegenheit wie folgt zu benennen: 01img.png, 02img.png, 03img.png, ..., 20img.png. Jetzt müssen Sie dies nur noch im Terminal eingeben: ffmpeg -qscale 5 -r 20 -b 9600 -i img% 02d.png movie.mp4
Wo ist die Zahl nach der "-r" -Flagge Ihre Framerate?
Hoffe ich habe geholfen.