Почему отсутствует /usr /share /gnome-shell /js?

Question

Я пытаюсь отладить расширение оболочки gnome, но у меня нет папки /usr /share /gnome-shell /js. Я на федоре 20 с гномом 3.12. Я не мог найти его, когда у меня был гном 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

Чтобы проверить изменения.

Будьте осторожны, когда вы выходите из сменной оболочки, предыдущая перестает отвечать на запросы.

Это было взято из сообщения в блоге Gnome.