我正在尝试调试 gnome-shell 扩展,但似乎没有文件夹 /usr/share/gnome-shell/js。我在 Fedora 20 上安装了 gnome 3.12。当我使用 gnome 3.10 时也找不到它。文件被移动了吗?我是否缺少某个软件包?
答案1
js 文件现在嵌入在里面libgnome-shell.so
。
gresource list /usr/lib/gnome-shell/libgnome-shell.so
您可以创建一个简单的脚本来提取资源:
#! /bin/sh
gs=/usr/lib/gnome-shell/libgnome-shell.so
cd $HOME/gnome-shell-js
mkdir -p ui/components ui/status misc perf extensionPrefs gdm
for r in `gresource list $gs`; do
gresource extract $gs $r > ${r/#\/org\/gnome\/shell/.}
done
然后使用:
GNOME_SHELL_JS=$HOME/gnome-shell-js gnome-shell --replace
检查更改。
请注意,当你退出替换 shell 时,前一个 shell 将变得无响应。
这是取自Gnome 博客文章。