Os Gifs animados Eles tomaram a web como uma tempestade, algo que nos últimos tempos é mais perceptível do que nunca, mas se começarmos a analisar vem desde os primórdios da web, mesmo que naquela época fossem pequenos ícones animados e hoje é quase um vídeos de poucos segundos.
Vamos ver então como converter um vídeo em um GIF animado no Linux, algo pelo qual vamos baseado em FFmpeg e no ImageMagick, duas ferramentas veteranas no mundo do software livre e disponíveis em todas as distros Linux, então como primeiro passo devemos instalar as duas.
Feito isso, e supondo que estejamos em uma janela de terminal e posicionados na pasta em que temos o arquivo de vídeo a partir do qual queremos criar o GIF, vamos nos basear em algo como o seguinte:
ffmpeg -t <duración en segundos> -ss <posición de inicio en formato hh:mm:ss> -i < nombre del archivo de vídeo> salida%04d.gif
Então se quisermos crie um GIF animado que começa 5 segundos após um vídeo chamado 'Birthday.MP4' e dura 15 segundos, fazemos:
ffmpeg -t 15 -ss 00:00:05 -i cumpleaños.mp4 salida%04d.gif
Se listarmos os arquivos nessa pasta, veremos que existem alguns que terminam com algo como 'output [\ d +]. Gif': são os frames, ou frames, que o FFmpeg obteve do vídeo.
Agora vamos juntá-los no GIF animado, para o qual vamos usar o ImageMagick, da seguinte maneira:
convert -delay -loop 0 salida*gif
Por exemplo, para criar um GIF animado chamado 'cumple.gif' que contém 20 quadros por segundo e se repete infinitamente, fazemos:
convert -delay 1x20 -loop 0 salida*gif cumple.gif
Se em vez disso quisermos que seja repetido 4 vezes, modificamos o 0 após o 'loop' para um 4. Agora podemos usar uma ferramenta ImageMagick chamada GIF Optimizer, que nos permite reduzir o tamanho da animação:
convert -layers Optimize cumple.gif cumple-final.gif
É isso, você pode começar a criar seus próprios GIFs animados e compartilhá-los com o mundo.
Mais informação - ffmpeg: grave seu desktop Linux sem problemas