Impossible d'installer les extensions GNOME Shell?
Nouveau sur Ubuntu. Lorsque j'ai essayé d'obtenir l'extension de thème d'utilisateur GNOME à partir de site web , le bouton ne s'installait pas. J'ai donc essayé la commande dans le terminal
Sudo apt-get install gnome-Shell-extensions-user-theme
and got the error message:
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package gnome-Shell-extensions-user-theme
de l'aide? Merci! UPDATE: ce n'est pas le manque d'une extension, je sais que je l'ai installée, et il n'y a pas de bannière rose. La page ne charge aucun bouton à installer (ni la section des commentaires des utilisateurs.) La page se charge sur du chrome (avec le bandeau rose cependant, sans extension), donc je ne pense pas que ce soit un problème de réseau. En outre, la page "dupliquer" n'est pas mon problème exact. Et j'ai essayé ceci sur firefox, qui a la bonne extension par défaut.
Vous ne pouvez installer que les extensions de gnome officielles disponibles dans le dépôt Ubuntu en utilisant Sudo apt-get install gnome-Shell-extensions.
Pour installer d'autres extensions, vous avez besoin du navigateur Firefox. Visitez https://extensions.gnome.org/ pour installer toutes les extensions disponibles.
Si vous voyez une page Web comme celle-ci 
Cela signifie que vous devez installer le plugin intégration de GNOME dans votre navigateur. Installez-le à partir de ici .
Une fois le plugin ajouté à votre navigateur, vous pouvez installer toutes les extensions disponibles à partir de https://extensions.gnome.org/ .