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
me dit). De ce fait, il n’est pas possible d’activer user-theme-extensions
dans les paramètres avancés de l’outil Tweak de GNOME. Je ne peux trouver le référentiel pour cela nulle part. Qu'est-ce que je fais mal?
Geeky Way
Vous pouvez installer des thèmes d'utilisateurs 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
Maintenant, redémarrez gnome-Shell en utilisant la boîte de dialogue d'exécution Alt + F2 et en saisissant r
.
Activez le formulaire d'extension gnome-Tweak-tool et vous avez terminé.
Manière alternative préférée
C’est de loin le moyen le plus simple d’installer l’extension "user-themes", ainsi que de nombreuses autres extensions GNOME Shell.
Trouvé l'extension? Il suffit de cliquer sur le commutateur pour l'installer.
Aah ..... en passant pour les thèmes d'utilisateurs, vous pouvez l'obtenir ici .
Remarque: GNOME Shell n'a pas activé la boîte de dialogue Exécuter Alt + F2 par défaut. Si c'est le cas, vous pouvez l'activer via Paramètres du clavier> Raccourcis. > Système.
Vous pourriez trouver cela utile. Si les extensions sont présentes (vérifier le dossier des extensions) mais ne s'affichent pas dans gnome-Tweak-tool, cela peut être dû à des erreurs dans l'outil gnome-Tweak lui-même.
Changé les fichiers
/usr/lib/python2.7/dist-packages/gtweak/gshellwrapper.py
et
/usr/lib/python2.7/dist-packages/gtweak/gsettings.py
comme mentionné dans l'article ci-dessous.
Vous devriez maintenant avoir un accès complet à toutes les extensions Shell et il n'y a plus d'erreur de gnome-Tweak-tool
Avez-vous suivi les instructions sur: http://www.webupd8.org/2011/04/themeselector-gnome-Shell-extension-to.html ?
Je tiens à ajouter à la réponse ci-dessus que les extensions ne seront probablement jamais disponibles par ppa (uniquement par des tiers, comme le site Web webupd8 le fait actuellement). Les extensions seront disponibles par la suite: https: // extensions .gnome.org /