在 Linux 上按需播放 GIF 动画视频

我在查看 vscode 官网帮助时，发现很多 demo 都是用 GIF 图片表达的视频。用GIF有个好处，就是这种图片格式在所有浏览器上都支持。
不方便的是，这些GIF播放速度都很快，刚开始学习，往往还没有看清楚或没理解，内容就跳过去了。想暂停是做不到的，GIF 总是从头放到尾，没有停顿的。

当然，解决办法是有的。我做了一些搜寻工作，整理出来，分享给大家。

Chrome 浏览器插件 ： GIF Scrubber

安装这款插件后，在网页的 GIF 图片上点击鼠标右键，弹出菜单中，选择"GIF Scrubber"，则插件会把这张GIF图片加载到一个弹出窗口，然后就可以当作视频播放了。

可以拖动，可以用空格键播放和暂停，可以设定播放速度，放慢一倍后的播放速度已经可以愉快接受了。还可以倒放，当然，这个功能用处不大。

把 GIF 视频下载到本机后，Linux平台普通的图片工具也不能暂停播放，有几款专用工具可以。以 ubuntu 为例：

mplayer

$ sudo apt install mplayer
$ mplayer -loop