Por que o / usr / share / gnome-shell / js está faltando?

7

Estou tentando depurar uma extensão do gnome-shell, mas não pareço ter a pasta / usr / share / gnome-shell / js. Eu estou no fedora 20 com o gnome 3.12. Eu não consegui encontrar quando eu tinha o gnome 3.10 também. Os arquivos foram movidos? Existe algum pacote que esteja faltando?

    
por topcat 05.04.2014 / 23:11

1 resposta

9

Os arquivos js agora estão incorporados em libgnome-shell.so .

gresource list /usr/lib/gnome-shell/libgnome-shell.so

Você pode criar um script simples para extrair os recursos:

#! /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

E, em seguida, use:

GNOME_SHELL_JS=$HOME/gnome-shell-js gnome-shell --replace

Para verificar as alterações.

Tenha cuidado, quando você sair do shell de substituição, o anterior não responderá.

Isso foi retirado da postagem no blog do Gnome .

    
por 24.04.2014 / 23:19