欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Totem
来自开放百科 - 灰狐
Totem is the official movie player of the GNOME desktop environment based on xine-lib or GStreamer. It features a playlist, a full-screen mode, seek and volume controls, as well as keyboard navigation.
It comes with added functionality such as:
- Video thumbnailer for the file manager
- Nautilus properties tab
- Mozilla (Firefox) plugin to view movies inside your browser (in development)
- Webcam utility (in development)
For deb-based distributions (like Debian, Ubuntu, ...) this is:
$ sudo apt-get install totem-gstreamer
For yum-based distributions (like Fedora Core, ...) this is:
$ sudo yum install totem
For portage-based distributions (like gentoo linux, ...) this is:
$ sudo emerge totem
分享您的观点