由于未能从网站上安装gnome扩展,我寻找了另一种方法。我在谷歌上找到的指南是:
sudo apt-get install gnome-common
git clone git://git.gnome.org/gnome-shell-extensions
cd gnome-shell-extensions
./autogen.sh --prefix=$HOME/.local --enable-extensions="drop-down-terminal"最后一个命令失败了,但有以下错误:
./configure: line 4276: GLIB_GSETTINGS: command not found
configure: error: invalid extension drop-down-terminal不幸的是,我在谷歌上没有发现任何有用的东西。
有什么建议吗?
谢谢。
发布于 2013-10-05 21:05:40
配置脚本失败很难读懂。很可能您缺少一个开发库。
如果这个包已经存在于ubuntu中,但您希望编译一个更新的版本,则可以执行以下操作:
sudo apt-get build-dep gnome-shell-extensions这将安装所有缺少的构建依赖项。
https://askubuntu.com/questions/354045
复制相似问题