Wie kann ich verhindern, dass sich Ubuntu Dock bis an die Ränder erstreckt?

11

Standardmäßig erstreckt sich Ubuntu Dock in Ubuntu 17.10 und späteren Versionen immer bis zu den Rändern (von oben nach unten, wenn links oder rechts und von links nach rechts, wenn unten platziert), auch wenn es nicht mit Symbolen gefüllt ist.

Gibt es eine Möglichkeit, dieses Verhalten zu verhindern (dh ich möchte die Docklänge flexibel gestalten, da die Anzahl der Anwendungssymbole im Dock zunimmt und entsprechend erweitert werden sollte)?

Mit anderen Worten, gibt es eine Möglichkeit, Ubuntu Dock wie ein "richtiges Dock" anstelle einer Seiten- / Bodenplatte aussehen zu lassen?

gnome-shell ubuntu-dock pomsky
quelle

Antworten:

19

Terminal öffnen und ausführen

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height false

Um zum "Panel-Modus" zurückzukehren, führen Sie aus

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height true
pomsky
quelle
1
Wenn Sie ein grafisches Tool benötigen, installieren Sie den dconf-Editor und navigieren Sie zu dem angegebenen Pfad @pomsky (/ org / gnome / shell / extensions / dash-to-dock).
PJ Singh
2

Verwenden Sie entweder die Gnome Tweak Tooloder https://extensions.gnome.org/local/ , deaktivieren Sie die 17.10 Einbau- Ubuntu DockErweiterung, und installieren Sie das weitere konfigurierbare Dash to DockErweiterung, und es wird Ihnen die kürzere andocken Sie wünschen.

https://extensions.gnome.org/extension/307/dash-to-dock/

Heynnema
quelle
1
Ich habe versucht, Ubuntu Dock mithilfe von Tweaks und extensions.gnome.org/local in einer Live-USB-Sitzung zu deaktivieren, und die GNOME-Shell (Xorg-Sitzung) neu gestartet. Es scheint, dass sie nicht funktionieren, das Dock bleibt aktiv.
Pomsky
1
@pomsky Ich weiß nicht, ob beim Arbeiten in einer Live-USB-Sitzung beim Neustart von gnome standardmäßig eine Gnome-Sitzung neu geladen wird oder warum dies nicht funktioniert. In einer realen Sitzung funktioniert das Deaktivieren der integrierten Funktion Ubuntu Dockund das Aktivieren der Dash to DockErweiterung von extensions.gnome.org einwandfrei, genau so, wie es soll.
Heynnema