Esiste uno strumento per creare gifun'animazione da un set di pngfile?
Ho provato il convertcomando 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
-delaybandiera non cambia la frequenza dei fotogrammi dell'animazione GIF. convertdetermina l'ordine dei fotogrammi in base all'ordine alfabetico dei nomi dei file. Ciò significa chename500.pngverrà inserito subito doponame50.pnge non doponame450.pngche posso risolvere questo problema aggiungendo 0 ma questo è fastidioso.
convertdopo l'ordinamento dei file. Probabilmente qualcosa del genere funzionafiles=$(ls name*png | sort -n -tname -k1); convert $files animation.gif
-monitorparametro che tiene traccia del processo
convert -delay 200 -loop 0 *.jpg output.gif.
