Encontrei qualquer número de aplicativos comerciais que podem converter, por exemplo, vídeos de "câmera lenta" de 120fps para 30 fps, escrevendo cada quadro n-ésimo em um novo arquivo de vídeo. Eu estava esperando que as ferramentas de freeware habituais como VLC ou handbrake ou ffmpeg pudessem fazer isso para mim, mas eu admito ser incapaz de rastrear os comandos para fazê-lo. Eu encontrei uma série de maneiras de exportar cada quadro n-ésimo para uma coleção de arquivos de imagem, mas eu com certeza não teria que fazer isso e seguir mesclando centenas ou milhares de jpgs em um novo arquivo de vídeo.
Eu encontrei esta resposta time-lapse que usa setpts então, se isso é tudo que eu preciso fazer, por favor, me diga (com ou sem a parte "you dope" :-)).
Se você deseja manter o tempo real, ou seja, 1 segundo de ação ao vivo é reproduzido em 1 segundo de vídeo e
ffmpeg -i input.mp4 -r 30 output.mp4
Isso vai diminuir 3 de cada 4 frames.
Se você quiser preservar todos os quadros, mas percorrê-los lentamente,
ffmpeg -i input.mp4 -vf setpts=4*PTS -r 30 output.mp4