Arch Linux

[Gianni]

Ciao,
da quando sono passato a gnome 3.4 ho il problema che non mi deve più l'estensione per cambiare tema , come fare ad aggiornarla alla versione per questo gnome? Ho visto un mio amico che è riuscito a cambiare tema alla gnome shell. Gli chiedo poi come ha fatto, voi cosa mi dite?

[Superpiffer]

Il mio consiglio è di installare per il momento questo pacchetto in attesa che quello sul sito venga aggiornato...

[love]

ma veramente l'estensione User Themes da https://extensions.gnome.org/ a me funziona benissimo...

[Superpiffer]

Con gnome 3.4.1 installandola dal sito ed aprendo gnome-tweak-tool quando si prova a cambiare il tema risulta disabilitata e per farla funzionare, come scritto tra i commenti, bisogna eseguire:

Codice: Seleziona tutto

sudo cp ~/.local/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gcampax.github.com/schemas/org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas
sudo glib-compile-schemas /usr/share/glib-2.0/schemas

Installandola da aur il problema non si pone...

[love]

dopo aver aggiornato alla 3.4.1 e disinstallato la vecchia gnome-shell-extension-user-theme, ho installato la nuova versione dal sito che funziona senza dover copiare quel file che (ho controllato adesso) non è presente in /usr/share/glib-2.0/schemas ma solo nella mia home

[Superpiffer]

Sì è vero. Il problema allora è che gnome-tweak-tool non riconosce l'estensione installata dal sito e quindi se si prova a cambiare tema si ottiene un fumetto con "L'estensione per la shell <<tema dell'utente>> non è correttamente installata" nonostante risulti installata impedendo così di selezionare il tema. Si può ovviare anche modificando il valore "org.gnome.shell.extensions.user-theme name" tramite dconf-editor.

[Gianni]

Ho risolto disistallando il pacchetto dell'estensione per i temi della gnome shell con questo comando (che avevo installato tempo indietro con yaourt):

Codice: Seleziona tutto

yaourt -R gnome-shell-extension-user-theme-git^C

Dopo aver riavviato la gnome shell (alt f2 r) sono andato sul sito ufficiale gnome-extension https://extensions.gnome.org/extension/19/user-themes/ e ho installato e attivato la relativa estensione.
Così funziona tutto perfettamente =)

Grazie a tutti per i consigli

[Gianni]

scusate se ve lo chiedo ma temi compatibili con la nuova gnome shell?

[Superpiffer]

Dai un'occhiata qui.