GuideOS Plank-Manager
Überblick
Der GuideOS Plank-Manager ist ein GTK3-basiertes Verwaltungstool für das Plank-Dock unter Linux. Das Tool bietet Echtzeit-Statusüberwachung mit farbiger Animation und ermöglicht direkten Zugriff auf Konfiguration und Prozesssteuerung.
Funktionen
Echtzeit-Statusanzeige: Überwacht kontinuierlich, ob Plank läuft oder nicht, (während das Tool läuft)
Farbige Animation: Wechselt zwischen Rot (nicht aktiv) und Blau (aktiv) für bessere Sichtbarkeit
Dock-Konfiguration: Direkter Zugriff auf die Plank-Einstellungen per Button
Prozess-Steuerung: Sofortiges Beenden des Plank-Docks mit einem Klick
Verwendung
Starten des Managers
Im Menü, GuideOS → GuideOS Plank-Manager
Bedienelemente
Das Programmfenster zeigt drei Hauptelemente:
Status-Anzeige: Zeigt in Echtzeit, ob Plank läuft oder nicht
Button „Dock konfigurieren“: Öffnet die Plank-Einstellungen
Button „Dock beenden“: Beendet den Plank-Prozess sofort (nur aktiv, wenn Plank läuft)
Lizenz
Das Tool steht unter der MIT-Lizenz zur freien Verfügung.