2016-11-15 memo: Ubuntu. gifをつくる Ubuntu, imagemajick上にて. convert -delay 50 `ls -v ABC_*.png` output.gif delayのあとの数字は1/100sec `ls -v ABC_*.png` ワイルドカードは数字を順番にならべてくれない(1, 10,11, 12, 2, 3,...)ので、 ls -vでならべる