Gnome-Shell拡張機能をデバッグしようとしていますが、/ usr/share/gnome-Shell/jsフォルダーがないようです。私はgnome3.12でFedora20を使用しています。 gnome 3.10を持っていたときも、それを見つけることができませんでした。ファイルは移動されましたか?不足しているパッケージはありますか?
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ブログ投稿 から取得されました。