When you’ve got a bunch of subsequently numbered png files (anim000.png, anim001.png, …) that you want to convert to a movie, you can use
1 2 3 | ffmpeg -i anim%03d.png -an -c:v libx264 -profile:v high -crf 23 -pix_fmt yuv420p movie.mp4 cp anim000.png movie.png rm anim*.png |
In case you forgot to save that first frame as picture for your presentation, you can extract it with
1 | mplayer -nosound -frames 1 -vo png:z=9 movie.mp4 |
Finally if you want to rotate the movie, check http://thinkmoult.com/tech-tip-5-rotate-a-video-by-90-degrees-with-mencoder/