I just installed Ubuntu 16.04 and the Gnome shell 3.18.5. I'm new to the whole 'Gnome Shell extension'-thing (I use my browser to install user-made extensions?) ..
So, the first time I accessed https://extensions.gnome.org I could install an extension I think but now it shows me a message (for example when I navigate to https://extensions.gnome.org/local/): "Attempt to postMessage on disconnected port":
I can't seem to do anything on that website anymore. When I view an extension on the website I can't find any install button or anything (but then I'm not really sure how it is supposed to work).
I tried to install the extension "Hide Top Bar" and also have the Gnome Tweak Tool installed.
How would I install that tool with the command line?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
does not seem to work (E: Unable to locate package gnome-shell-extensions-hide-top-bar)