[Risolto] gnome-shell-extension

[caturen]

Con gli ultimi aggiornamenti precise ora ha gnome-shell 3.3.9. Questo comporta che tutte le estensioni che acvevo installato non funzionano più. Nemmeno andando sul sito extensions-gnome.org riesco ad abilitarle. Non sono riuscito a trovare un modo per riabilitarle. Di solito non uso la shell come desktop, ma così mi è proprio "ostico" usarla. Qualcuno sa come ovviare alla cosa?

[daigo]

puoi provare così,vai dove hai le estensioni(alcune potrebbero essere qui) home/.local/share/gnome-shell/extensions e (altre qui) file System/usr/share/gnome-shell/extensions(in questo caso devi essere amministratore) apri la cartella relativa all'estensione ed edita il file metadata.json e  metti il numero della versione  di gnome shell che stai usando e riavvia la shell.
vedi se qualcuna torna riutilizzabile.ciao

[caturen]

puoi provare così,vai dove hai le estensioni(alcune potrebbero essere qui) home/.local/share/gnome-shell/extensions e (altre qui) file System/usr/share/gnome-shell/extensions(in questo caso devi essere amministratore) apri la cartella relativa all'estensione ed edita il file metadata.json e  metti il numero della versione  di gnome shell che stai usando e riavvia la shell.
vedi se qualcuna torna riutilizzabile.ciao

Ti ringrazio del suggerimento, ma purtroppo non funge. In questo modo riesco a vedere le estensioni con gome-tweak-tool ma non sono cliccabili  :'(

[caturen]

Con gli ultimi aggiornamenti precise ora ha gnome-shell 3.3.9. Questo comporta che tutte le estensioni che acvevo installato non funzionano più. Nemmeno andando sul sito extensions-gnome.org riesco ad abilitarle. Non sono riuscito a trovare un modo per riabilitarle. Di solito non uso la shell come desktop, ma così mi è proprio "ostico" usarla. Qualcuno sa come ovviare alla cosa?

Ho risolto aggiungendo questo ppa: ppa:ricotz/testing Poi installando solamente il pacchetto gnome-shell-extensions e disabilitando successivamente il ppa senza aggiornare altri pacchetti. Però adesso c'è l'inconveniente che si possono installare solo le estensioni compatibili con la 3.3.9 e sono al momento poche.

[gyanny]

questa una delle cose che non mi convince della faccenda delle estensioni postume. il problema si ripresenterà ciclicamente ad ogni upgrade di gnome-shell. gnome dovrebbe riconsiderare l'intera faccenda, secondo me. una curiosità, perchè invece di aggiungere un ppa, installare il pacchetto, rimuovere il ppa, non ti sei semplicemente scaricato ed installato i .deb?

[caturen]

questa una delle cose che non mi convince della faccenda delle estensioni postume. il problema si ripresenterà ciclicamente ad ogni upgrade di gnome-shell. gnome dovrebbe riconsiderare l'intera faccenda, secondo me. una curiosità, perchè invece di aggiungere un ppa, installare il pacchetto, rimuovere il ppa, non ti sei semplicemente scaricato ed installato i .deb?

Ma come faccio a trovare quei deb?

[gyanny]

nel ppa che hai aggiunto.
https://launchpad.net/~ricotz/+archive/ ... er=precise

[caturen]

nel ppa che hai aggiunto.
https://launchpad.net/~ricotz/+archive/ ... er=precise

Grazie. Che imbranato che sono: non avevo visto view package detail  :-[