Da video a gif animata su GNU/Linux

Il formato immagine GIF è un formato storico, che è recentemente tornato in auge su popolari siti social, dove viene usato per visualizzare piccoli spezzoni di video, opportunamente convertiti in questo formato.

Esistono siti online per la creazione di GIF animate a partire da video, ma hanno spesso funzionalità limitate, e sono sopratutto più lenti rispetto a un task eseguito in locale (anche solo per i tempi di upload del video da convertire).
Ho creato quindi uno script bash, che utilizza ffmpeg come motore di conversione e zenity per la GUI, in modo da semplificare il più possibile la creazione di una GIF animata a partire da un file video.
Lo script, una volta lanciato, avvia una procedura guidata che chiede, passo passo, quale impostazioni usare.
È possibile anche ottenere una GIF ridimensionata rispetto al video originale, e convertire in GIF solo uno spezzone del video stesso.

Dato che una GIF vale più di mille parole, ecco un esempio pratico:

out.ogv

<<<<Download dello script>>>>

Naturalmente, una volta scaricato e scompattato, è necessario rendere eseguibile lo script con il comando

chmod +x video2gif

.

A presto!