Dash-to-Dock Debian: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 19: | Zeile 19: | ||
*gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false | *gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false | ||
*gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM | *gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM | ||
| + | *gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 32 | ||
==== GNOME neu starten ==== | ==== GNOME neu starten ==== | ||
Falls das Dock nach der Konfiguration nicht sichtbar ist, kann GNOME neu gestartet werden. | Falls das Dock nach der Konfiguration nicht sichtbar ist, kann GNOME neu gestartet werden. | ||
| − | * | + | *gnome-shell --replace & |
Alternativ hilft ein Ab- und erneutes Anmelden. | Alternativ hilft ein Ab- und erneutes Anmelden. | ||
Aktuelle Version vom 15. April 2025, 19:16 Uhr
Dash-to-Dock unter Debian aktivieren
Um die Dock-Leiste unter Debian mit GNOME dauerhaft sichtbar zu machen, sind folgende Schritte notwendig.
Dash-to-Dock installieren
Falls die Erweiterung noch nicht installiert ist, kann sie mit dem folgenden Befehl installiert werden.
- sudo apt update && sudo apt install gnome-shell-extension-dashtodock
Dash-to-Dock aktivieren
Nach der Installation muss die Erweiterung aktiviert werden.
- gnome-extensions enable dash-to-dock@micxgx.gmail.com
Dock dauerhaft sichtbar machen
Damit das Dock fixiert bleibt und nicht automatisch ausgeblendet wird, sind folgende Einstellungen erforderlich.
- gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed true
- gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false
- gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM
- gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 32
GNOME neu starten
Falls das Dock nach der Konfiguration nicht sichtbar ist, kann GNOME neu gestartet werden.
- gnome-shell --replace &
Alternativ hilft ein Ab- und erneutes Anmelden.