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
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)
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.
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