Rieccomi con qualche dubbio..
Ho installato Gnome 3 + gnome-shell e voglio installare le estensioni.. Bene, da quello che ho letto, scarico i sorgenti da git, poi
./autogen.sh --prefix=/usr --enable-extensions=all make make install
Tutto funziona, ma da gnome-tweak-tool non mi rileva nulla.. Allora ho provato a cercare qsa di già pronto, e da qui ne ho trovate parecchie, tutte finalmente funzionanti..
A questo punto, ho voluto installare solo l'estensione user-themes, non presente tra quelle che ho indicato prima.. Ovviamente, tutte funzionano meno quella!! A questo punto, mi sono fatto un giro tra i file metadata.json presenti nelle varie estensioni, scoprendo che quelle scaricate avevano tutte come versione di gnome-shell 3.0, mentre quella compilata da me aveva 3.3.2 (la versione installata nel sistema ovviamente). Ho tentato semplicemente di cambiare quel 3.3.2 in 3.0, ed effettivamente a questo punto mi viene rilevata l'estensione user-theme, ma non è attivabile!!
Qualcuno sa aiutarmi??
Se hai preso gnome-shell-extesions con git la versione è troppo recente per funzionare con
gnome-shell-3.0.2.
Prova a scaricarti una versione più vecchia :
http://ftp.gnome.org/pub/GNOME/sources/gnome-shell-extensions/3.0/gnome-shell-extensions-3.0.2.tar.bz2