After much fumbling, I figured out how to convert a pile of JPGs into a video. The magic line was this:
convert -delay 20 -resize 800x600 IMG_{1840..1922}.JPG ~/foo.mpg
where -delay is a number in centiseconds (so 20 is 5 fps).
The thing is, Ubuntu's install of ImageMagic (which provides convert) doesn't come with mpeg2encode, which is what it
(
Read more... )