GNOME Shell encore tout frais n’offre qu’un thème par défaut. C’était sans compter sur le talent de certains et voici donc une liste des thèmes disponibles.

Installation de thèmes Gnome Shell

Par défaut Gnome Shell ne fournit pas de système d’installation de thèmes, mais il existe une alternative :

Au préalable il faut avoir installer Gnome Tweak Tool.

  1. Téléchargez et décompressez le thème de votre choix.
  2. Déplacer le dossier extrait, dans le répertoire ~/.themes se trouvant dans votre répertoire personnel (le créer si il n’exsite pas).
  3. Lancer Gnome Tweak Tool et allez dans la section Theme.
  4. Sélectionner votre thème dans la liste déroulante Shell Theme.

Un autre moyen est d’installer l’extension Gnome User Theme extension mais il faut cette fois relancer Gnome Shell avec la séquence de touche [ALT]+[F2] et taper [r] suivi de [RETURN]

Voici une liste des meilleurs thèmes :