En mi computadora portátil macOS, cambio las dimensiones del video fácilmente usando ffmpeg, normalmente algo así como
ffmpeg -i vid.mp4 -vf “scale=iw/2:ih/2” our.mp4
En el iPhone no puedo saber cómo puedo cambiar el tamaño de un video que grabé.
¿Cómo hago eso (gratis)?
Quiero reducir el tamaño de los videos guardados (ya se han grabado, sé que puedo cambiar las dimensiones de grabación en la configuración)