У меня есть последовательность изображений в формате jpg, которую я хотел бы превратить в файл фильма avi или mpeg. Я пытался установить mplayer/mencoder с помощью Macports, но он сказал мне, что он устарел и был заменен на mpv. Тем не менее, страница руководства для mpv не объясняет, как выполнить эту задачу, кодируя последовательность изображений в видео. Как я могу это сделать?
Изображения имеют вид yyyymmdd-hhmm.jpg (так что сортировка их по алфавиту приводит их в правильном порядке), и их около 22000 - я хочу сделать видео с замедленной съемкой, а не слайд-шоу.
(Примечание: я также пытался использовать ImageMagick и ffmpeg, но конвертер, похоже, сначала хочет загрузить все изображения в память, тем самым блокируя мой компьютер и заставляя меня перезагрузиться, в то время как ffmpeg по непонятным причинам использует только первые 100 кадров или около того и затем останавливается, создавая выходное видео, которое длится всего несколько секунд. Я открыт и для других предложений.)