web-dev-qa-db-fra.com

GNOME Shell 3.4 - Je ne peux pas changer de thème

Problème après la mise à niveau vers GNOME Shell 3.4 (Ubuntu 11.10)

J'ai installé Ubuntu 12.04 sur le paramètre précédent de la partition/home.

J'ai installé le shell GNOME, je ne peux malheureusement pas changer de thème: http://ubuntu.pl/forum/download/file.php?id=2631

1
user52463

Voici la bonne façon de faire fonctionner gnome-Tweak-tool (paramètres avancés) donc les thèmes et extensions Shell fonctionnent SANS briser votre gnome Shell

Sudo add-apt-repository ppa:ricotz/testing
Sudo apt-get install ppa-purge
Sudo apt-get update
Sudo apt-get install gnome-Shell-extensions
Sudo apt-get install gnome-Shell-extensions-common
Sudo ppa-purge ppa:ricotz/testing
(type N and press enter at the end of the process)

Redémarrez le shell (Alt F2 >> r >> enter)

4
vanlong441

J'ai utilisé Synaptic pour avoir plus de contrôle sur le processus.

1) Activer le PPA Gnome 3

Sudo add-apt-repository ppa:gnome3-team/gnome3

2) Utilisez Synaptic pour installer les mises à jour de gnome3-team/gnome3

3) Activer le ppa de test du shell gnome

Sudo add-apt-repository ppa:ricotz/testing

4) Utilisez Synaptic pour installer les extensions gnome-Tweak-tool et gnome-Shell de ricotz/testing

3) Désactiver le ppa de test de shell Gnome dans Synaptic ou depuis un terminal

Sudo ppa-purge ppa:ricotz/testing

Maintenant, je peux appliquer des thèmes à mon shell Gnome, ce qui ajoute une touche très agréable. J'ai toutefois constaté que la page Web des extensions https://extensions.gnome.org/local/ où vous gérez vos extensions installées ne fonctionne plus. Je soupçonne que l'installation du paquet gnome-Shell à partir de Gnome Shell Testing installera une version compatible du plug-in du navigateur, mais c'est risqué et peut-être pas important tant que l'outil gnome-Tweak fonctionne pour moi.

1
Len Huppe

dans Ubuntu 12.04, gnome Shell bénéficie d’une mise à niveau vers la version 3.4, ce qui signifie qu'aucune de vos anciennes extensions ne fonctionnera. vous aurez besoin de l’extension user-theme qui peut être facilement acquise à partir de le site des extensions gnome Shell

Après avoir installé l'extension, vous devez l'activer. J'utilise gnome-Tweak-tool pour cela, activez-la en allant à "Extensions de shell" dans le volet de gauche, puis sous "thèmes> Shell thème", vous pourrez le modifier. vos thèmes

0
MuffinStateWide