广告

本站里的文章大部分经过自行整理与测试

2016年7月20日星期三

Gnome Shell Extension - Media Player Indicator

$ git clone https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer.git
$ cd gnome-shell-extensions-mediaplayer
# 先安装 gnome-common
$ ./autogen.sh
$ make
$ sudo make install

没有评论:

发表评论