Me gustaría convertir una breve animación gif en un vídeo para poder enviárselo a un amigo por WhatsApp. ¿Conoces formas fáciles de conseguirlo (por ejemplo, códecs, etc.)? Lo mejor sería hacerlo en el dispositivo directamente pero podría hacerlo también en un ordenador.
Puedes utilizar esta herramienta online para convertirlo: http://www.giftovideo.com/
En cuanto a las herramientas, podría utilizar FFMPEG + ImageMagick pero es un poco difícil encontrar las opciones correctas. Hay algunas instrucciones aquí . Lo intenté pero algunos casos no funcionaron.
Como nota al margen respecto a la herramienta en línea, en este momento exactamente, parecen estar enfrentando algún problema de rendimiento, pues cada vez que lo intentas, vas a terminar en una cola como si fuera eterna.
Si te conformas con una solución que puedas usar en un PC, entonces SuperUser.com tiene esto: ¿Cómo puedo convertir un GIF animado en un formato de vídeo compatible con YouTube?
Para una solución on-Android, ninguno de los cubridores de vídeo lo menciona específicamente, pero como la biblioteca ffmpeg sí lo soporta (como se ve en el Respuesta del superusuario ), aplicaciones como Convertidor de vídeo para Android o Convertidor de medios y Así que Al estar basado en ffmpeg, debería ser capaz de hacerlo.
He probado esto en Android 5.0.1:
PreguntAndroid es una comunidad de usuarios de Android en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
