Acabo de instalar Ubuntu 16.04 y el shell Gnome 3.18.5. Soy nuevo en todo lo relacionado con la 'extensión Gnome Shell' (¿uso mi navegador para instalar extensiones hechas por el usuario?).
Entonces, la primera vez que accedí a https://extensions.gnome.org pude instalar una extensión , creo, pero ahora me muestra un mensaje (por ejemplo, cuando navego a https://extensions.gnome.org/local/ ) : "Intento de publicar un mensaje en el puerto desconectado":
Parece que ya no puedo hacer nada en ese sitio web. Cuando veo una extensión en el sitio web, no puedo encontrar ningún botón de instalación ni nada (pero no estoy realmente seguro de cómo se supone que funciona).
Traté de instalar la extensión "Ocultar barra superior" y también instalé la herramienta Gnome Tweak.
¿Cómo instalaría esa herramienta con la línea de comando?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
no parece funcionar (E: no se puede localizar el paquete gnome-shell-extensions-hide-top-bar)