人生には「ここにフレーム単位の PNG ファイルがある。これをなんとかアニメーション GIF にしてくれ！金ならいくらでも払う！」というときがしばしばある。Photoshop などを使ってもできるけど、 convert コマンドを使うと簡単にできる:
$ convert -delay 0 -loop 0 *.png animated.gif
ファイル名で絞り込むとフレームを落とすことも簡単にできる。
$ convert -delay 0 -loop 0 *0.png *3.png *6.png *9.png animated.gif
convert なのでついでにサイズを変更したりもできる。