参考博友“怪我冷i”的文章：Deepin Gif转mp4，鸣谢！有需要的朋友请自行点击链接查阅，
下面介绍 mp4转gif的方法：
安装“深度录屏”之后（ctr+alt+r）生成的是mp4格式的文件，无法上传到CSDN，
在需转换的aa.mp4所在目录中 open in terminal
然后输入如下命令：
ffmpeg -i aa.mp4 small.gif
ffmpeg的介绍见：
http://linux.51yip.com/search/ffmpeg
https://blog.csdn.net/kingvon_liwei/article/details/79271361
https://www.jianshu.com/p/9af00bfe21b3