Una guida rapida per convertire file video in GIF animate di alta qualità tramite strumenti da riga di comando.
Approccio moderno con FFmpeg (Consigliato)
Genera GIF animate ottimizzate con creazione di tavolozza personalizzata in un'unica pipeline:
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
Pipeline classica con ImageMagick e Gifsicle
Conversione da MP4 a GIF tramite mplayer e 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
Richiede mplayer, imagemagick e gifsicle. Estrae i singoli fotogrammi del video e li fonde in una GIF ottimizzata.
Ritaglio degli intervalli di tempo
Estrai solo una sezione specifica del video impostando i timestamp:
mplayer -ao null -ss 0:02:06 -endpos 0:00:15 -vo gif89a:outdir=gif videofile.mp4
-ss [time]: Timestamp di inizio.-endpos [duration]: Durata del segmento da elaborare.
Ottimizzazione con Gifsicle
Compressione lossy e riduzione dei colori per ridurre drasticamente la dimensione del file GIF:
# Riduci i colori e ottimizza la compressione
gifsicle -O3 --colors 128 input.gif -o output.gif
# Compressione lossy (riduzione notevole del peso)
gifsicle -O3 --lossy=80 input.gif -o output.gif