Comment puis-je changer le thème du shell GNOME?

20

J'ai installé le shell GNOME dans Ubuntu 12.04 et je veux changer le "thème du shell", mais cela ne me permet pas de le faire.

L'alerte dit quelque chose comme: "L'extension GNOME-Shell n'est pas activée", et je veux l'installer avec la console, mais cela me renvoie une erreur.

Comment puis-je résoudre ce problème?

Ariel
la source

Réponses:

26

Suivez ces étapes:

Installez les extensions GNOME Shell et GNOME Tweak Tool:

  • Appuyez sur Alt+ Ctrl+ Tpour ouvrir le terminal et exécuter les commandes suivantes:

    sudo apt-get install gnome-shell-extensions gnome-tweak-tool
    

Téléchargez le thème du shell GNOME:

Vous pouvez trouver de nombreux thèmes GNOME Shell sur Gnome-Look.org

Comment changer le thème du shell GNOME?

  • Une fois installé, cliquez sur Activités dans le panneau supérieur et recherchez "Paramètres avancés" (ou "Tweaks" ou "Tweak Tool") et ouvrez-le.
  • Sous Shell Extensions, activez l' extension User Themes (si elle n'est pas installée, vous pouvez l'installer à partir d' ici ) en cliquant sur le commutateur ON / OFF .

entrez la description de l'image ici

  • Fermez 'GNOME Tweak Tool' et rouvrez-le, ouvrez les paramètres des thèmes, cliquez sur le bouton de navigation devant le thème Shell et sélectionnez votre thème personnalisé, une fois mis à jour, cliquez sur le menu déroulant devant le bouton de navigation et sélectionnez votre thème. Vous verrez que les modifications prennent effet immédiatement. C'est ça!

entrez la description de l'image ici

Basharat Sialvi
la source
gnome-shell-extensionsne semble pas être disponible en 12.04. Savez-vous comment l'obtenir?
detly
@detly n'est-il pas installé par défaut? Installez l'outil de modification de gnome, pouvez-vous voir l'onglet des extensions de shell dedans?
levesque
@levesque - Je l'ai finalement trouvé sur le site Web, mais il faut un peu de travail pour l'installer le 12.04!
detly
Dois-je extraire le zip ou naviguer vers le zip?
Tim