Gnome: Panel auf der rechten Seite
Eine der Gnome-erweiterungen, auf die wir hier immer wieder hinweisen, ist Dash To Panel. Diese Erweiterung ergänzt Gnome um eine Leiste im Stil von Windows 10 und dürfte deshalb insbesondere Umsteigern entgegenkommen. Nun liegt eine neue Version vor, die sich an einen beliebigen Bildschirmrand anheften lässt.
Die Erweiterung „Dash to Panel“mit den aktuellen Optionen ähnelt grundsätzlich der Gnomeinterpretation von Ubuntu (mit der Erweiterung „Dash to Dock“). Manche Nutzer dürften „Dash To Panel“der Ubuntulösung sogar vorziehen, weil „Dash to Panel“die Favoritenleiste mit dem normalen Systempanel platzsparend kombiniert. Und so gelingt die Einrichtung dieser wie auch anderer Gnome-erweiterungen über den vorinstallierten Webbrowser Firefox:
1. Als Erstes macht die Installation der angebotenen Firefoxerweiterung von https://extensions.gnome.org oder auch von https://addons.mozilla.org/enus/firefox/addon/gnome-shellintegration den Browser fit für die Gnome-erweiterungen.
2. Gnome selbst braucht daraufhin noch die neue Komponente „chrome-gnome-shell“, um Firefox einzubinden. Das gleichnamige Paket findet sich unter diesem Namen in den Standard-paketquellen aller Linux-distributionen mit Gnome und ist in Debian/ubuntu beispielsweise mittels sudo apt install chromegnome-shell zu installieren.
3. Abschließend ist noch ein Neustart von Firefox notwendig, um von nun an die Gnome-erweiterungen einfach per Klick von der Webseite https://extensions.gnome.org/extension/1160/dash-to-panel zu aktivieren. Nach der Installation von „Dash to Panel“konfigurieren Sie die Erweiterung detaillierter. Sonderfall Ubuntu: Für den Fall, dass Sie diese Lösung in Ubuntu (Gnome) integrieren, sollten Sie die andere standardmäßig installierte Erweiterung deaktivieren. Dafür benötigen Sie das Gnome-optimierungswerkzeug, das mittlerweile in allen Distributionen schlicht Gnome-tweaks („Optimierungen“) heißt und etwa in Debian/ Ubuntu mit dem Befehl sudo apt-get install
gnome-tweaks installiert ist. In den Gnometweaks gehen Sie dann auf „Erweiterungen“und deaktivieren zunächst das „Dash to Dock“mit einem Klick auf den Schalter. Danach gehen Sie auf das Zahnradsymbol neben „Dash to Panel“und nutzen die Einstellungsmöglichkeiten.