Benutzer-Werkzeuge

Webseiten-Werkzeuge


guideos_plank_manager

Dies ist eine alte Version des Dokuments!


GuideOS Plank-Manager

Der GuideOS Plank-Manager ist eine einfache Desktop-Datei, mit der sich die Einstellungen des Plank Docks direkt öffnen lassen.
Das Tool wurde bewusst einsteigerfreundlich gehalten und benötigt keinerlei Terminal-Kenntnisse.

Zweck

Diese Anwendung dient ausschließlich dazu, die Plank-Dock-Einstellungen aufzurufen.
Sie startet Plank mit dem Parameter:

plank --preferences

Damit können Benutzer ihr Dock bequem anpassen, zum Beispiel:

  • Position des Docks
  • Symbolgröße
  • Verhalten beim Ausblenden
  • Darstellung und Animationen

Voraussetzungen

  • Installiertes Plank Dock
  • Ein Linux-Desktop mit Unterstützung für .desktop-Dateien
 sudo apt install plank

Installation

  1. Kopiere die Desktop-Datei nach:
    ~/.local/share/applications/
  2. Mache die Datei ausführbar:
    chmod +x guideos-plank-manager.desktop
  3. (Optional) Desktop-Datenbank aktualisieren:
    update-desktop-database ~/.local/share/applications/

Nutzung

  • Öffne das Anwendungsmenü
  • Starte GuideOS Plank-Manager
  • Die Plank-Einstellungen öffnen sich sofort

Alternativ kann die Desktop-Datei auch direkt per Doppelklick gestartet werden.

Hinweis

  • Dieses Tool nimmt keine automatischen Änderungen an deiner Dock-Konfiguration vor.
  • Es öffnet lediglich die offiziellen Plank-Einstellungen.
  • Ideal für Anfänger und Umsteiger.

Projekt

Teil des GuideOS Projekts
Fokus: einfache Bedienung, klare Funktionen, keine unnötige Komplexität

guideos_plank_manager.1769939489.txt.gz · Zuletzt geändert: von ktt73

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki