Comment puis-je activer les thèmes dans Gnome Shell?
J'ai installé l'extension GNOME Shell Theming et je l'ai activé dans le gnome-Tweak-tool.
J'ai installé des thèmes dans mon dossier ~/.themes mais je ne peux toujours pas sélectionner de thèmes Shell.
Comment puis-je activer et sélectionner des thèmes GNOME Shell?
Pour sélectionner un thème, allez à l’onglet Thème de l’outil Gnome Tweak. A côté du thème Shell, vous devriez voir un bouton "Aucun" avec une icône de dossier. Si vous voyez un triangle avec un point d'exclamation, cela signifie que vous n'avez pas installé l'extension de sélecteur de thème gnome-Shell, que vous pouvez installer à l'aide des commandes suivantes dans une fenêtre de terminal:
Sudo add-apt-repository ppa:ferramroberto/gnome3
Sudo apt-get update
Sudo apt-get install gnome-Shell-extensions-common
Sudo apt-get install gnome-Shell-extensions-user-theme
Une fois l'extension installée, sélectionnez le fichier .Zip correspondant au thème que vous souhaitez installer (NE PAS le décompresser) en cliquant sur le bouton "Aucun" de l'onglet Thème de gnome-Tweak-tool. Ensuite, sélectionnez-le dans la liste à droite du bouton "Aucun".
Dans le dernier gnome Shell 3.0+, vous pouvez simplement accéder à l'onglet Extensions de l'outil Gnome Tweak et activer l'option "Thèmes de l'utilisateur". Cette extension est incluse par défaut dans tous les gnome Shell mais est initialement désactivée par défaut.
Maintenant, allez simplement dans l’option thèmes Shell et ajoutez le thème requis.
J'espère que ça aide!