mov视频转gif

在mac上用quicktime录屏，得到一个mov视频，想转成gif，试了几个工具，感觉下面这个最好用：

http://ezgif.com/video-to-gif

支持重新指定尺寸和帧率，转完gif后还可以选择作进一步压缩。

下面gif是用这个工具生成的：

(动画出自《三体：乱纪元大冒险》： http://www.cnblogs.com/wantnon/p/4857072.html)