Convertir gif animado a mp4

Estoy buscando una herramienta (GUI sería lo mejor) para convertir un gif animado en un video mp4 para enviarlo a través de WhatsApp. ¿Tiene alguna sugerencia para hacer este trabajo?

Respuestas (3)

Puede usar dos programas, convertel comando de Imagemagick y ffmpeg, para hacer esto.

convert -coalesce animation.gif frames%04d.png

Luego convierte los pngs a una película:

ffmpeg -r 10 -i frames%04d.png -vcodec mjpeg -y movie.mp4

Para una GUI, no sería muy conveniente, pero sé que QuickTime Pro (es posible que deba obtener la versión anterior) convertirá una pila de imágenes secuenciales en una animación. No sé si leerá el GIF correctamente.

¿Puede explicar por qué quiere incluir respuestas dadas por otros en las suyas? Cualquiera que visite estas preguntas y respuestas verá todas las respuestas de todos modos, por lo que seguramente encontrará toda la información que necesita. Hacer referencia a otras respuestas hace que las cosas sean más difíciles de leer para todos.
Solo menciono esa bandera porque a veces las personas usan la respuesta más votada sin leer todas las demás. Mi respuesta fue escrita en 2013. No hay nada de malo en señalar una forma de mejorarla, y la otra respuesta (que fue copiada de mi respuesta dos años después) no es idéntica a la que he dado. Por favor, déjalo en paz.
Tenemos información sorprendentemente pequeña sobre qué respuestas la gente realmente lee y usa :-) No veo ningún daño en esto ("usar la respuesta más votada sin leer todas las demás"). Si les funciona, genial, si no, ojalá vuelvan a buscar alternativas. Si desea agregar una segunda opción, hágalo, pero hágalo por sí solo para que las personas puedan simplemente copiar/pegar el comando.

La respuesta de Beroe fue muy útil, pero descubrí que cuando creaba mp4 con su método, no funcionaba en QT o iMovie en El Capitan. Investigué un poco y leí los registros de codificación y encontré esta solución, parece funcionar con QT e iMovie:

ffmpeg -r 10 -i frames%04d.jpg -vcodec h264 -y -pix_fmt yuv420p movie.mp4

Creo que necesitas frames*.jpgo frames*.pngen lugar deframes%04d.jpg
Esto funcionó para mí después de convertir el gif a jpg usando el método de @beroe de su respuesta anterior:convert -coalesce animation.gif frames%04d.jpg
@MarkSetchell No, quiere decir frames%04dcuál es la sintaxis ffmpeg para cualquier archivo con cuatro dígitos, por ejemplo, frames0001.png frames0002.pngetc.

A pesar de usar Mavericks, todavía conservo Quicktime 7 Pro Player en mi disco. Está bien para ver GIF animados y exportarlos en otros formatos.

agregado

Requiere Quicktime 7 (instalación opcional, o manténgalo en sus Aplicaciones cuando instale nuevas versiones del sistema operativo). Requiere la clave de actualización "Pro" de pago, versión Quicktime 7 disponible desde 2005 más o menos.

Abra el archivo GIF con Quicktime Player 7. (Arrastre el ícono GIF al ícono del reproductor; o haga clic con el botón derecho en el ícono GIF y elija Quicktime Player 7 en "Abrir con"; o inicie Quicktime Player 7, luego utilícelo en el Open File...menú File)

Juega para asegurarte de que funciona. Puede usar las teclas de flecha izquierda y derecha para avanzar o retroceder un cuadro a la vez.

Window> Show Movie Inspector(o ⌘-I). Anota el "Tamaño normal", 270 x 600 o lo que sea

inspector

File> Export(o ⌘-E)

En el Export:menú elige Movie to MPEG-4(o algún otro formato si lo deseas)

exportar

Utilice el botón Opciones para controlar algunas características del archivo MP4. En particular, configure el tamaño de la imagen (si el tamaño que anotó no está en el menú, selecciónelo Customy escríbalo). Prueba formato MPEG-4 Improved. Haga clic OKcuando haya terminado con las opciones.

opciones

Seleccione el destino y el nombre de archivo para el archivo MP4

Hacer clicSave

Hola, ¿podría pedirle que resuma los pasos necesarios para lograr esto, ya que creo que es información útil que aún puede necesitar más explicación para algunos usuarios?