Benutzerkomfort

Linux-Desktop mit Durchblick: 7 praktische Tricks

7. Gnome 3: Elegantes Dock als Gnome-Shell-Erweiterung

Von Docks und Panels als Programmstarter am Bildschirmrand hat sich Gnome 3 verabschiedet. Für alle Anwender, die ein frei konfigurierbares Dock für Programmsymbole in Gnome 3 suchen, springt eine erfreulich unkomplizierte Shell-Erweiterung ein.

Angedockt: Ein schlichtes und elegantes Dock mit Programmfavoriten, das gleichzeitig als Taskleiste dient, bringt die Shell-Erweiterung „Simple Dock“ auf den Desktop von Gnome 3.4.
Angedockt: Ein schlichtes und elegantes Dock mit Programmfavoriten, das gleichzeitig als Taskleiste dient, bringt die Shell-Erweiterung „Simple Dock“ auf den Desktop von Gnome 3.4.

Die Erweiterung Simple Dock braucht keine Installation von zusätzlichen Paketen unter der eingesetzten Linux-Distribution, sondern wird direkt in Gnome 3 eingerichtet. Gehen Sie dazu im Browser auf das Webverzeichnis der geprüften Gnome-Erweiterungen, und installieren Sie Simple Dock dort mit dem Schalter links oben. Das Dock zeigt sich am unteren Bildschirmrand, dient auch als Taskleiste, unterstützt Ziehen und Ablegen von Favoriten und blendet sich auf Wunsch selbständig aus. Die wenigen Einstellungen des Docks lassen sich über das gnometweak-tool festlegen.

(PC-Welt/ad)