Posso pular imagens N ao criar um gif a partir de arquivos png?

Question

Eu tenho vários arquivos png com o nome aoa19.5Pressure.XXX.png , onde XXXX é um número de quatro dígitos. Os nomes são tais que os números são seqüenciais. Eu quero converter estes em um gif. Quando eu corro

convert aoa19.5Pressure.* aoa19.5Pressure.gif ,

minha máquina leva muito tempo para gerar o gif. Isso tem muito mais imagens do que eu precisava. Existe alguma maneira de converter esses arquivos png em uma animação gif , usando apenas todos os 100 arquivos png para criar o gif ?

    

Answer 1

Se os números forem consecutivos, use apenas

convert aoa19.5Pressure.*00.png aoa19.5Pressure.gif

Isso usará todas as imagens com números terminados em 00 , ou seja, a cada 100.