Ubuntu 16.04下使用
$ sudo apt-get install ffmpeg
安装ffmpeg工具。
$ ffmpeg -i S70131-15433307.mp4 -s 272x480 -b:v 200k output1.mp4
-s用于设定分辨率,-b:v设定视频比特率来压缩大小
$ ffmpeg -ss 2 -t 5 -i output1.mp4 -s 272x480 -r 15 output1.gif
-ss 2 -t 5，从第2秒的地方开始，往后截取5秒钟, -r用于设定帧数. 通常Gif有15帧左右就比较流畅了
$ convert output1.gif -fuzz 20% -layers Optimize output2.gif
设置fuzz因子可以将相近的颜色视为相同的颜色，这样就可以抵消抖动和色彩压缩的影响。
-fuzz选择多少能取得最大的压缩效果，同时对画质的影响可以接受，则需要耐心地尝试。