人生には「ここにフレーム単位の 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 なのでついでにサイズを変更したりもできる。