Molte delle domande che chiedono come creare una gif animata da una serie di immagini png suggeriscono di usare una variante del convertcomando di ImageMagick :
convert -delay 2 -loop 0 *.png animated.gif
Tuttavia, ho alcune migliaia di immagini e quindi convertesaurisco tutta la mia memoria, lo scambio e poi si blocca. Quale software alternativo esiste, che è più sensibile alla memoria? Potrei usare un altro formato aperto se .gifnon è supportato e preferisco uno strumento CLI.
convert -delay 2 -loop 0 0*.png animated.gifconvertiranno solo i file che iniziano con uno "0". E così via.