为什么 /usr/share/gnome-shell/js 不见了？

Question

我正在尝试调试 gnome-shell 扩展，但我似乎没有文件夹 /usr/share/gnome-shell/js。我在使用 gnome 3.12 的 Fedora 20 上。当我有 gnome 3.10 时我也找不到它。文件被移动了吗？有没有我遗漏的包裹？

Answer 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 博客文章中获取的。