Acabei de instalar o Ubuntu 16.04 e o shell do Gnome 3.18.5. Eu sou novo na coisa toda 'Extensão Gnome Shell' (eu uso meu navegador para instalar extensões criadas pelo usuário?) ..
Portanto, na primeira vez que acessei https://extensions.gnome.org, eu poderia instalar uma extensão , mas agora ela me mostra uma mensagem (por exemplo, quando navego para https://extensions.gnome.org/local/ ) : "Tentativa de postMessage na porta desconectada":
Não consigo mais fazer nada nesse site. Quando visualizo uma extensão no site, não consigo encontrar nenhum botão de instalação ou qualquer coisa (mas não tenho muita certeza de como deve funcionar).
Tentei instalar a extensão "Hide Top Bar" e também tenho a ferramenta Gnome Tweak instalada.
Como eu instalaria essa ferramenta com a linha de comando?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
parece não funcionar (E: Não foi possível localizar o pacote gnome-shell-extensions-hide-top-bar)