Je viens d'installer Ubuntu 16.04 et le shell Gnome 3.18.5. Je suis novice dans le domaine de l'extension Gnome Shell (j'utilise mon navigateur pour installer des extensions créées par l'utilisateur?).
Donc, la première fois que j'ai accédé à https://extensions.gnome.org, je pouvais installer une extension, je pense, mais maintenant elle m'affiche un message (par exemple lorsque je navigue vers https://extensions.gnome.org/local/ ) : "Tentative de publier un message sur un port déconnecté":
Je n'arrive plus à rien faire sur ce site. Lorsque je vois une extension sur le site Web, je ne trouve aucun bouton d'installation ou quoi que ce soit (mais je ne sais pas vraiment comment cela est censé fonctionner).
J'ai essayé d'installer l'extension "Hide Top Bar" et j'ai également installé l'outil Gnome Tweak.
Comment installer cet outil avec la ligne de commande?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
ne semble pas fonctionner (E: impossible de localiser le paquet gnome-shell-extensions-hide-top-bar)