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.
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)