Note
2026-02-27 ブラウザ上で Mov to Gif の変換をできるようにしました
メモ
QuickTime Player で動画をキャプチャして、GIF アニメに変換したいときなどに便利です。
ffmpeg -i <input>.mov -vf scale=720:-1 -r 10 <output>.gif
↓のような GIF が作成されます。

再生速度を倍速にしたい場合は、以下のコマンドを使用します。setpts で映像の時間軸を圧縮し、atempo で音声(または映像の時間軸)の再生速度を調整します。
ffmpeg -i <input>.mov -vf scale=720:-1,setpts=PTS/2.0 -af atempo=2.0 -r 10 <output>.gif