GNOME 3, als Desktop-Oberfläche für ein grafisches Linux, gefällt mir in den Grundzügen relativ gut. Allerdings gibt es einige Kleinigkeiten, welche mich stören. Als macOS-Nutzer bin ich ein großer Freund des dortigen Docks und möchte ein solches auch unter GNOME 3 nutzen können. Glücklicherweise gibt es die Erweiterung Dash to Dock, welche eine solche Funktionalität anbietet.
Die Erweiterung kümmert sich um das Dock
Dash to Dock bietet eine Fülle von Einstellungen um es optimal an die eigenen Bedürfnisse anzupassen. Die Optionen reichen von der bevorzugten Position auf dem Bildschirm über die Größe der Icons, die Darstellung laufender Anwendungen und dem Erscheinungsbild.
Die Einstellungen von Dash to Dock
Die Erweiterung kann über die GNOME-Extension-Seite heruntergeladen bzw. direkt installiert werden.
https://marius.bloggt-in-braunschweig.de/2017/03/30/cairo-dock-unter-gnome-und-cinnamon-betreiben/
DAS ist ein Dock :) vergiß GNOME ;)