Ya sabéis que me gusta usar ficheros GIF para promocionar los vídeos que hago en las redes sociales. Por ejemplo, este GIF de arriba está hecho con los 15 primeros segundos de este vídeo en Cabo da Roca en Portugal.
La ventaja de usar ficheros GIF es que estos se autocargan y empiezan a funcionar en cualquier medio, que no tienen sonido molesto y que funcionan en casi cualquier sitio.
Para el que tenga interés en cómo los hago, os dejo el script que uso. Lo uso en linux, y antes tenéis que tener instalados ffmpeg y imagemagick:
mkdir frames
ffmpeg -ss 0:00:10 -t 0:00:05 -i input.mp4 -vf scale=640:-1 -r 10 frames/ffout%03d.png
convert -delay 8 -loop 0 -fuzz 1% -layers Optimize frames/ffout*.png output.gif
Esto crea un directorio donde se van a almacenar las imágenes, luego, convierte en imágenes individuales los frames durante 5 segundos desde el segundo 10, lo pone en escala de 640x y por último convierte las imágenes en un GIF optimizándolo.