Ubuntu 16.04とGnomeシェル3.18.5をインストールしました。私は「Gnome Shell拡張機能」全体に不慣れです(ブラウザを使用してユーザー作成の拡張機能をインストールしていますか?)..
したがって、初めてhttps://extensions.gnome.orgにアクセスしたときに、拡張機能をインストールできたと思いますが、メッセージが表示されます(たとえば、https://extensions.gnome.org/local/に移動したとき) :「切断されたポートでメッセージを投稿しようとしました」:
そのウェブサイトではもう何もできないようです。Webサイトで拡張機能を表示すると、インストールボタンやその他のものが見つかりません(しかし、それがどのように機能するのかはよくわかりません)。
拡張機能「Hide Top Bar」をインストールしようとし、Gnome Tweak Toolもインストールしました。
コマンドラインでそのツールをインストールするにはどうすればよいですか?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
動作していないようです(E:パッケージgnome-shell-extensions-hide-top-barが見つかりません)