mpeg Datei erstellen

Frames müssen fortlaufend nummeriert als png vorliegen.

gifs gehen nicht, können aber mit gif2pnmall aus ~/uses konvertiert werden.

Dann mit gimp als mpeg1 unter video komprimieren erzeugen.

Hierzu muss mpeg-encode1.5 installiert sein.