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 08-10/2017: BACKUP

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

Backup mit KUP unter Suse 42.3
Horst Schwarz, 24.09.2017 13:16, 1 Antworten
Ich möchte auch wieder unter Suse 42.3 mit Kup meine Backup durchführen. Eine Installationsmöglic...
kein foto, etc. upload möglich, wo liegt mein fehler?
kerstin brums, 17.09.2017 22:08, 5 Antworten
moin, zum erstellen einer einfachen wordpress website kann ich keine fotos uploaden. vom rechne...
Arch Linux Netzwerkkonfigurationen
Franziska Schley, 15.09.2017 18:04, 0 Antworten
Moin liebe Linux community, ich habe momentan Probleme mit der Einstellung des Lan/Wlan in Arc...
WLan mit altem Notebook funktioniert nicht mehr
Stefan Jahn, 22.08.2017 15:13, 0 Antworten
Ich habe ein altes Compaq-6710b Notebook mit Linux Mint Sonya bei dem WLan neulich noch funktioni...
Würde gerne openstreetmap.de im Tor-Browser benutzen, oder zu gefährlich?
Wimpy *, 21.08.2017 13:24, 2 Antworten
Im Tor-Netzwerk (Tor-Browser) kann ich https://www.openstreetmap.de/karte.html# nicht nutzen....