I have a sequence of jpg images that I would like to turn into an avi or mpeg movie file. I tried to install mplayer/mencoder using Macports, but it told me this is obsolete and has been replaced by mpv. However, the man page for mpv doesn't explain how to do this task, of encoding a sequence of images into a video. How can I do that?
The images are in the form yyyymmdd-hhmm.jpg (so that sorting them alphabetically puts them in the right order) and there are about 22000 of them - I want to produce a time lapse video rather than a slide show.
(Note: I've tried using ImageMagick and ffmpeg as well, but convert seems to want to load all the images into memory first, thus locking up my computer and forcing me to reboot, while ffmpeg inexplicably only uses the first 100 frames or so and then stops, producing an output video that's only a few seconds long. I'm open to other suggestions as well.)