小编hen*_*dry的帖子

我知道http://www.timeanddate.com/worldclock/converter.html

我不知道如何以“太平洋标准时间下午 5 点 BST”等理智自然的格式查询http://www.google.com。

还是我必须编写这样的应用程序？

我想将我拥有的每个[OGV|OGG]视频文件转换Ogg data, Skeleton v3.0为 MP4 或 WebM。

人们可以建议一个命令行来这样做，以保持质量吗？他们还需要索引或其他东西以便我可以寻找吗？

这是我基于 OGG 的HTML5 视频集供参考。我有一台8 核机器可以执行此操作，因此我希望能够同时运行此视频转换命令。

我想进行演示并在笔记本电脑上打字，因为我知道投影仪准确地显示了我所看到的内容。这是简短的xrandr 输出：

~$ xrandr
Screen 0: minimum 8 x 8, current 2560 x 1440, maximum 16384 x 16384
eDP-1-1 connected 2560x1440+0+0 (normal left inverted right x axis y axis) 310mm x 170mm
   2560x1440     60.00*+  48.00
   1920x1440     60.00
   1856x1392     60.01
   1792x1344     60.01
   1600x1200     60.00
   1400x1050     59.98
   1280x1024     60.02
   1280x960      60.00
   1024x768      60.04    60.00
HDMI-1-2 connected 1920x1080+0+0 (normal left inverted right x axis y axis) 598mm x 336mm
   1920x1080     60.00*+  50.00    59.94
   1920x1080i    60.00    50.00    59.94
   1280x1024     75.02    60.02
   1152x864 …