Guía de referencia rápida para convertir vídeos a GIFs animados de alta calidad mediante utilidades de terminal.
Método moderno con FFmpeg (Recomendado)
Genere GIFs animados optimizados con paleta de color personalizada en una sola tubería de comandos:
ffmpeg -ss 00:00:02 -to 00:00:08 -i input.mp4 \
-vf "fps=15,scale=480:-1:flags=lanczos,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" \
-loop 0 output.gif
Flujo clásico con ImageMagick y Gifsicle
Convertir MP4 a GIF mediante mplayer y gifsicle
mkdir -p gif
mplayer -ao null -vo gif89a:outdir=gif "$INPUT"
mogrify -format gif *.png
gifsicle --colors=256 --delay=4 --loopcount=0 --dither -O3 gif/*.gif > "${INPUT%.*}.gif"
rm -rf gif
Requiere mplayer, imagemagick y gifsicle. Extrae fotogramas individuales y los une en un GIF optimizado.
Recorte de intervalos de tiempo
Extraer únicamente una sección específica del vídeo usando marcas de tiempo:
mplayer -ao null -ss 0:02:06 -endpos 0:00:15 -vo gif89a:outdir=gif videofile.mp4
-ss [time]: Marca de tiempo de inicio.-endpos [duration]: Duración del segmento a procesar.
Optimización con Gifsicle
Compresión con pérdida y reducción de colores para reducir drásticamente el tamaño del archivo GIF:
# Reducir colores y optimizar compresión
gifsicle -O3 --colors 128 input.gif -o output.gif
# Compresión con pérdida (gran reducción de peso)
gifsicle -O3 --lossy=80 input.gif -o output.gif