png
XXXXという名前のファイルが複数ありますaoa19.5Pressure.XXX.png
。ここで、XXXXは4桁の数字です。名前に数字が続きます。これをgifに変換したいです。私が走るとき
convert aoa19.5Pressure.* aoa19.5Pressure.gif
、
私のコンピュータでgifを生成するのに時間がかかります。必要以上の画像があります。 100個のpngファイルのみを使用してpng
これらのファイルをgif
アニメーションに変換する方法はありますかgif
?
ベストアンサー1
数字が連続している場合は、以下を使用してください。
convert aoa19.5Pressure.*00.png aoa19.5Pressure.gif
これは、画像で終わるすべての数字00
、つまり100個の画像ごとに使用されます。