Ich möchte das Dock in 17.10 komplett verstecken. Nicht nur bei Überlappung, sondern immer. Ich habe viele Erweiterungen ausprobiert, aber nichts funktioniert und die vielversprechendste Erweiterung gab es nicht einmal. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/
Hinweis: Meine Benutzeroberfläche besteht nur aus Fenstern und Hintergrundbildern. Nichts anderes darf meine wertvollen Pixel verbrauchen
gnome-shell
dock
pcnate
quelle
quelle
Antworten:
Mit der folgenden Erweiterung können Sie das Dock vollständig ausblenden: https://extensions.gnome.org/extension/307/dash-to-dock/
Mit dieser Erweiterung können Sie das Dock ausblenden, aber die dockspezifischen Verknüpfungen verfügbar halten. Aktivieren Sie dazu die Erweiterung, gehen Sie in ihre Einstellungen und gehen Sie wie folgt vor:
Wie bereits erwähnt, wird das Dock dadurch nicht deinstalliert oder deaktiviert. Aber es wird es völlig verbergen. Daher wird es erst wieder auf dem Bildschirm angezeigt, wenn mindestens eine der beiden vorherigen Optionen wieder aktiviert ist.
quelle
In Ubuntu 17.10, 18.04, 18.10 und 19.04 können Sie deinstallieren
gnome-shell-extension-ubuntu-dock
mit:Dadurch wird das Ubuntu-Dock entfernt.
Sie müssen Ihre GNOME-Sitzung neu starten. Melden Sie sich dazu ab und wieder an.
quelle
ALT+F2
, 'r' eingeben und dann die Eingabetaste drücken. (Dies lädt die Gnome-Shell neu, lässt aber die Fenster offen!)Sie können dies auch mit dem dconf-Editor tun, der ein nützliches Werkzeug ist, wenn Sie Ihren Desktop optimieren möchten .
Gehen Sie in dconf Editor zu
/org/gnome/shell/extensions/dash-to-dock
diesen drei Requisiten und schalten Sie sie gleichzeitig aus:Und Sie haben das Dock nur im Overlay-Modus sichtbar (wie bei der von @Dan empfohlenen Erweiterung).
quelle
gsettings
Tool dafür zu verwenden:gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false
(Hinweis: In einer Zeile zusammengefasst, da es nicht möglich zu sein scheint, mehrzeilige Codeblöcke in Kommentaren zu erstellen)Die beste Methode, dies in Ubuntu 18.04 zu tun, ist die Verwendung von
gsettings
. Warum Erweiterungen installieren, wenn dies auf saubere Weise möglich ist?Verwenden Sie den folgenden Befehl im Terminal, um das Dock automatisch auszublenden
Hinweis: Die meisten Optimierungen, die Sie mit Ihrer Benutzeroberfläche vornehmen möchten, können mithilfe von vorgenommen werden
gsettings
.Nutze
man gsettings
und entdecke mehr.quelle