gnome-logo.png

Tipps und Tricks zu Gnome

Gnome-Tipps

Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.

Tipp: Gnome-Panel: ausblenden, aber richtig

Wenn Sie mit der rechten Maustaste auf eine der beiden Kontrollleisten klicken und Eigenschaften wählen, können Sie einige grundlegende Dinge über ein Dialogfenster anpassen. Auf dem Reiter Allgemein legen Sie zum Beispiel fest, ob das Panel automatisch einklappt (Checkbox Auto-Verbergen). Die Feinabstimmung für diese Ausblendfunktion können Sie nicht im Eigenschaften-Dialog vornehmen, dazu starten Sie stattdessen den Konfigurationseditor, indem Sie [Alt]+[F2] drücken und dann gconf-editor eingeben.

Navigieren Sie links zur Abteilung /apps/panel/toplevels. Die obere Leiste richten Sie über top_panel_screen0 ein, die untere entsprechend in bottom_panel_screen0. Beide Bereiche bieten die gleichen Einstellungsmöglichkeiten:

  • Über auto_hide schalten Sie das automatische Ausblenden ein, das ist dieselbe Funktion, wie die erwähnte Checkbox Auto-Verbergen sie bietet.
  • Interessant wird es bei auto_hide_size: Über dieses Feld definieren Sie die Anzahl der sichtbaren Pixel, wenn die Leiste eingefahren ist. Stellen Sie den Wert beispielsweise auf 1, ist am Bildschirmrand noch ein Pixel des Panels sichtbar, über den Sie es wieder nach vorne holen. Können Sie nicht so gut mit der Maus zielen, setzen Sie den Wert ein bisschen nach oben, um ein wenig mehr von der Leiste zu erhalten.
  • Auch die Verzögerung beim Auto-Verbergen konfigurieren Sie hier. In der Voreinstellung steht der Wert bei hide_delay auf 300 Millisekunden. Nach dieser Zeit klappt der Gnome-Desktop die Leiste ein, wenn der Mauszeiger nicht über ihr schwebt (Abbildung 1).
Abbildung 1: Der "Eigenschaften"-Dialog (rechts im Vordergrund) und GConf (im Hintergrund) im Vergleich – über Ersteren stellen Sie nur grundlegende Dinge ein; der Editor bietet weitaus mehr Möglichkeiten.

Tipp: Gnome-Panel vollständig zurücksetzen

Es kommt vor, dass die Anzeige der Kontrollleisten völlig aus dem Ruder gelaufen ist oder Sie sich einfach verkonfiguriert haben. Streikt das Panel und lässt sich nicht wieder zur Mitarbeit überreden, können Sie mit einem einfachen Befehl die Konfiguration auf den Ausgangszustand zurückstellen. Vorsicht: Das löscht sämtliche persönlichen Einstellungen!

Dazu öffnen Sie ein Terminalfenster, zum Beispiel über Anwendungen / Zubehör / Terminal oder über [Alt]+[F2] und Eingabe von gnome-terminal. Danach geben Sie das folgende Kommando ein und schicken es per Druck auf [Eingabe] ab:

gconftool-2 --recursive-unset /apps/panel

Anschließend melden Sie sich ab und wieder neu an, um die Änderungen sichtbar zu machen. Alternativ rufen Sie im selben Terminal diesen Befehl auf:

pkill gnome-panel

Damit beenden Sie alle Panel-Prozesse; diese starten automatisch sofort neu. Die Leiste sollte nun wieder im Ursprungszustand erscheinen.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 
TABLET & SMARTPHONE APPS
Bald erhältlich
Get it on Google Play

Deutschland

Ähnliche Artikel

  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktop-Umgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor. Seit Ausgabe 01/2012 zeigen wir Tricks für die dritte Generation des Desktops: die Gnome Shell.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
Kommentare

Infos zur Publikation

EL 05-07/2017: Emulatoren und virtuelle Maschinen

Digitale Ausgabe: Preis € 9,80
(inkl. 19% MwSt.)

EasyLinux erscheint vierteljährlich und kostet 9,80 Euro. Weitere Infos zum Heft finden Sie auf der Homepage.

Das Jahresabo kostet ab 33,30 Euro. Details dazu finden Sie im Computec-Shop.

Bei Google Play finden Sie digitale Ausgaben für Tablet & Smartphone.

HINWEIS ZU PAYPAL: Die Zahlung ist ohne Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!      

Aktuelle Fragen

Anfänger Frage
Klaus Müller, 24.05.2017 14:25, 2 Antworten
Hallo erstmal. Habe von linux nicht so viel erfahrung müsste aber mal ne doofe frage stellen. A...
Knoppix-Live-CD (8.0 LU-Edition) im Uefiboot?
Thomas Weiss, 26.04.2017 20:38, 3 Antworten
Hallo, Da mein Rechner unter Windows 8.1/64Bit ein Soundproblem hat und ich abklären wollte, o...
Grub2 reparieren
Brain Stuff, 26.04.2017 02:04, 5 Antworten
Ein Windows Update hat mir Grub zerschossen ... der Computer startet nicht mehr mit Grub, sondern...
Linux open suse 2,8
Wolfgang Gerhard Zeidler, 18.04.2017 09:17, 2 Antworten
Hallo.bitte um Hilfe bei. Code fuer den Rescue-login open suse2.8 Mfg Yvo
grep und sed , gleicher Regulärer Ausdruck , sed mit falschem Ergebnis.
Josef Federl, 15.04.2017 00:23, 1 Antworten
Daten: dlfkjgkldgjldfgl55.55klsdjfl jfjfjfj8.22fdgddfg {"id":"1","name":"Phase L1","unit":"A",...