Desktoptipps | David Wolski | 5/2022 | 29. Juli 2022

Gnome: Ein winziges Dock

Das Dock in Gnome unter Ubuntu macht ein Umschalten zwischen laufenden Anwendungen und den Start von Favoriten viel einfacher. Eine platzsparende Alternative, die alles im oberen Panel unterbringt, ist nun als Gnome-Erweiterung verfügbar.

Die Erweiterung App Icons Taskbar greift die Idee des Docks auf, zeigt Favoriten und laufende Programme als Symbol – dies alles in der Systemleiste von Gnome.

Die Einrichtung erfolgt in Linux-Distributionen wie Fedora, Manjaro, Arch Linux und anderen über die Webseite der Gnome-Erweiterungen (https://extensions.gnome.org/extension/4944/app-icons-taskbar) über Firefox mit einem Klick auf den angezeigten Schalter. In Ubuntu funktioniert das im Snap-Paket von Firefox nicht mehr, da der Browser keinen Zugriff auf das Verzeichnis der lokalen Gnome-Erweiterungen hat. Hier hilft der neue Gnome Extension Manager, der mit

sudo apt install gnome-shell-extension-manager

zu installieren ist. Unter „Browse“ ist das Verzeichnis der Erweiterungen durchsuchbar und der gesuchte Kandidat „App Icons Taskbar“ mit wenigen Klicks installiert.

Im Menü „Installed“ aktiviert oben der Kippschalter die Verwaltung der Shell-Extension, kann dann die neue Erweiterung einschalten und ferner das vorhandene „Ubuntu Dock“ deaktivieren.