Я обнаружил любое количество коммерческих приложений, которые могут конвертировать, например, медленное видео со скоростью 120 кадров в секунду в 30 кадров в секунду, записывая каждый n-й кадр в новый видеофайл. Я надеялся, что обычные бесплатные инструменты, такие как VLC, handbrake или ffmpeg, могут сделать это для меня, но я признаю, что не смог отследить команды для этого. Я нашел множество способов экспортировать каждый n-й кадр в коллекцию файлов изображений, но я бы предпочел не делать этого, а затем объединить сотни или тысячи jpgs в новый видеофайл.
Я нашел этот замедленный ответ, который использует setpts, так что если это все, что мне нужно сделать, пожалуйста, скажите мне (с или без "you dope" часть :-)).