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個の画像ごとに使用されます。
答え2
より一般的な回避策は、フィルタリングしたいワイルドカードを括弧で囲むことです。
例 1: 偶数フレームのみのインポート:
convert *[02468].png output.gif
同じことを行うもう1つの方法は、変換前に奇数フレームをすべて削除することです(これは、ストレージスペースを複雑にしたくない場合に便利です)。
rm *[13579].png
フォローアップ:
convert *.png output.gif
例2:もちろん、より頻繁にサンプリングしたい場合は、元の例を変更できます。以下を使用して5の倍数でフィルタリングできます。
convert *[05].png output.gif