Wie kann ich das Dock in Ubuntu 18 loswerden?

Das große Dock links. In anderen Versionen könnten Sie Unity Launcher entkommen, indem Sie zu Gnome gehen. Was nun? Gnome Tweaks zeigt es nicht als Erweiterung an, obwohl es aussieht, als würde man es ankoppeln.

Ich sehe Autohide-Optionen in den Einstellungen, kann sie jedoch nicht vollständig entfernen und die Gnome-Standardeinstellung verwenden.

Edit: Ich suche keinen Vanillegnom, sondern nur um das Dock zu verstecken.

Führen Sie Folgendes aus:

cd /usr/share/gnome-shell/extensions/
sudo mv [email protected]{,.bak}

Drücken Sie ALT+ F2und geben Sie rdie Eingabe ein.

Da es sich bei Ubuntu Dock um eine Systemerweiterung (Paketname :) handeltgnome-shell-extension-ubuntu-dock , ist es nicht möglich, sie einfach mit GNOME Tweaks oder von hier aus zu deaktivieren .

Entfernen dieses Pakets durch Ausführen

sudo apt remove gnome-shell-extension-ubuntu-dock

loszuwerden, das Dock soll, aber es ist nicht empfehlenswert , da es auch das wird entfernen ubuntu-desktopMeta-Paket , das kann stopft später (siehe bricht diese ).

Eine wahrscheinlich sauberere Lösung ist die Verwendung von Vanilla GNOME (GNOME-Shell ohne Modifikationen von Ubuntu). In Vanilla GNOME ist Ubuntu Dock standardmäßig deaktiviert.

Sie können Vanilla GNOME durch Ausführen von installieren

sudo apt install vanilla-gnome-desktop

Sobald es installiert ist, starten Sie es neu (oder melden Sie sich erneut an). Sobald Sie zum GDM-Anmeldebildschirm gelangen, sollten Sie ein Zahnrad (⚙️) neben der Schaltfläche zum Anmelden finden. Wenn Sie auf das Zahnrad klicken, sollten Sie Optionen mit dem Titel " GNOME " und " GNOME on Wayland " zusammen mit Ubuntu und Ubuntu on Wayland finden . Wählen Sie eine der GNOME- Optionen anstelle der Ubuntu- Optionen.

HINWEIS: Wenn Sie es vollständig entfernen möchten, löschen Sie das /usr/share/gnome-shell/extensions/[email protected](machen Sie im Notfall ein Backup). Dann neu starten.

Wenn Sie mehr optimieren möchten, verwenden Sie den dconf-editor:

Sie können das Dock in dconf-editor anpassen . Installieren Sie es durchsudo apt install dconf-tools .

Öffne dconf-editor und gehe zu org->gnome->shell->extension->dash-to-dock. Sie können einige Änderungen vornehmen, z. B. Dock verstecken, verlängerndes Dock ausschalten usw.