Je viens d'installer 11.10 et GNOME Tweak Tool mais je ne peux pas installer gnome-shell-extensions-user-theme car il n'existe pas (ou alors apt-get install dit moi). Pour cette raison, il n'y a pas d'activation des user-theme-extensions dans les paramètres avancés de l'outil GNOME Tweak. Je ne trouve nulle part le référentiel pour cela. Qu'est-ce que je fais de mal ?
Réponse acceptée :
Voie Geek
Vous pouvez installer des thèmes utilisateur et d'autres extensions à partir de PPA, car les extensions ne sont pas disponibles dans les référentiels officiels. Entrez les commandes suivantes pour que les thèmes fonctionnent.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Redémarrez maintenant gnome-shell en utilisant la boîte de dialogue d'exécution Alt + F2 et en entrant r .
Activez le formulaire d'extension gnome-tweak-tool et vous avez terminé.
Chemin alternatif préféré
C'est de loin le moyen le plus simple d'installer l'extension "user-themes", ainsi que de nombreuses autres extensions du shell GNOME.
- Ouvrez simplement Firefox (vous NE POUVEZ PAS utiliser n'importe quel autre navigateur, à partir de maintenant).
- Et visitez extensions.gnome.org
- Vous pouvez rechercher l'extension que vous recherchez et découvrir d'autres extensions intéressantes.
-
Vous avez trouvé l'extension ? Cliquez simplement sur le commutateur pour l'installer.
-
Aah….. au fait pour les thèmes utilisateur, vous pouvez l'obtenir ici.
Remarque : GNOME Shell n'a pas la boîte de dialogue Exécuter Alt + F2 activée par défaut, donc si c'est le cas, vous pouvez l'activer via Paramètres du clavier> Raccourcis> Système.