在 ubunt 上，我可以使用 imagemagick's 将动画 .gif 文件转换为 .webp 格式convert 1.gif 1.webp，但随后动画在目标 .web 中丢失。
我想知道如何在转换格式的同时保留动画？
我在 Ubuntu 上，我想为Edit > Line > Reindent.
我看过文档，但无法弄清楚将 json 定义放在哪里。所以感谢你的提示。
我喜欢mpv player它的现代简约外观，只需通过鼠标滚动和强大的.mp4视频渲染即可轻松地沿着视频移动。
但是，我无法弄清楚如何更改播放速度，因为我可以在 vlc 播放菜单中轻松完成。我根本看不到这样做的任何 GUI 选项。我也无法在wiki 中找到相关的配置技巧。
如果有隐藏按钮或配置调整来定义快捷键，请感谢您的提示。我在 Ubuntu 上使用 mpv 18.04。