我刚刚安装了Ubuntu 16.04和Gnome shell 3.18.5。我是整个“ Gnome Shell扩展”的新手(我使用浏览器安装用户制作的扩展吗?)。
因此,我第一次访问https://extensions.gnome.org时,我可以安装我认为的扩展程序,但现在它向我显示一条消息(例如,当我导航至https://extensions.gnome.org/local/时) :“尝试在断开的端口上发送postMessage”:
我似乎无法在该网站上进行任何操作。当我在网站上查看扩展程序时,找不到任何安装按钮或其他任何内容(但是我不确定该如何工作)。
我尝试安装扩展名“ Hide Top Bar”,并且还安装了Gnome Tweak工具。
如何使用命令行安装该工具?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
似乎不起作用(E:无法找到软件包gnome-shell-extensions-hide-top-bar)