Ho appena installato Ubuntu 16.04 e la shell Gnome 3.18.5. Sono nuovo di tutto ciò che riguarda l'estensione di "Gnome Shell" (uso il mio browser per installare estensioni create dall'utente?) ..
Quindi, la prima volta che ho avuto accesso a https://extensions.gnome.org ho potuto installare un'estensione penso ma ora mi mostra un messaggio (ad esempio quando navigo su https://extensions.gnome.org/local/ ) : "Tentativo di postMessage su porta disconnessa":
Non riesco più a fare nulla su quel sito. Quando visualizzo un'estensione sul sito Web non riesco a trovare alcun pulsante di installazione o altro (ma non sono davvero sicuro di come dovrebbe funzionare).
Ho provato a installare l'estensione "Nascondi barra superiore" e ho anche installato Gnome Tweak Tool.
Come installerei quello strumento con la riga di comando?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
sembra non funzionare (E: impossibile trovare il pacchetto gnome-shell-extensions-hide-top-bar)