Esiste uno strumento per creare gif
un'animazione da un set di png
file?
Ho provato il convert
comando dalla suite ImageMagick , ma questo non sempre riesce. Inoltre, ho diversi problemi con questo:
- Non so dire quali siano i progressi.
- Indipendentemente da ciò che provo, la
-delay
bandiera non cambia la frequenza dei fotogrammi dell'animazione GIF. convert
determina l'ordine dei fotogrammi in base all'ordine alfabetico dei nomi dei file. Ciò significa chename500.png
verrà inserito subito doponame50.png
e non doponame450.png
che posso risolvere questo problema aggiungendo 0 ma questo è fastidioso.
convert
dopo l'ordinamento dei file. Probabilmente qualcosa del genere funzionafiles=$(ls name*png | sort -n -tname -k1); convert $files animation.gif
-monitor
parametro che tiene traccia del processo
convert -delay 200 -loop 0 *.jpg output.gif
.