由于无法从网站上安装 gnome 扩展,我寻找了另一种方法。我在 Google 上找到的指南如下:
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
不幸的是,我在 Google 上没有找到任何有用的信息。
有什么建议吗?
谢谢。
答案1
配置脚本失败很难读懂。很可能你缺少一个开发库。
如果这个包在 ubuntu 中已经存在,但是你想编译一个更新的版本,你可以这样做:
sudo apt-get build-dep gnome-shell-extensions
这将安装所有缺少的构建依赖项。