Ich habe gerade Ubuntu 16.04 und die Gnome-Shell 3.18.5 installiert. Ich bin neu in der ganzen 'Gnome Shell-Erweiterung' (ich benutze meinen Browser, um benutzerdefinierte Erweiterungen zu installieren?).
Wenn ich zum ersten Mal auf https://extensions.gnome.org zugegriffen habe, konnte ich eine Erweiterung installieren , aber jetzt wird mir eine Meldung angezeigt (zum Beispiel, wenn ich zu https://extensions.gnome.org/local/ navigiere ). : "Versuch, eine Nachricht auf einem nicht verbundenen Port zu posten":
Ich kann auf dieser Website anscheinend nichts mehr tun. Wenn ich eine Erweiterung auf der Website ansehe, kann ich keine Installationsschaltfläche oder ähnliches finden (aber dann bin ich mir nicht sicher, wie es funktionieren soll).
Ich habe versucht, die Erweiterung "Hide Top Bar" zu installieren und auch das Gnome Tweak Tool installiert zu haben.
Wie würde ich dieses Tool über die Befehlszeile installieren?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
scheint nicht zu funktionieren (E: Paket gnome-shell-extensions-hide-top-bar konnte nicht gefunden werden)