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.
  • 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. Seit Ausgabe 01/2012 zeigen wir Tricks für die dritte Generation des Desktops: die Gnome Shell.
  • 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. In dieser Ausgabe geht es u. a. um Nautilus, Totem, Evince und Pidgin.
Kommentare

Infos zur Publikation

EL 03/2016: Sicher im Internet

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

Soundkarte wird erkannt, aber kein Ton
H A, 25.09.2016 01:37, 2 Antworten
Hallo, Ich weiß, dass es zu diesem Thema sehr oft Fragen gestellt wurden. Aber da ich ein Linu...
Scannen nur schwarz-weiß möglich
Werner Hahn, 20.09.2016 13:21, 2 Antworten
Canon Pixma MG5450S, Dell Latitude E6510, Betriebssyteme Ubuntu 16.04 und Windows 7. Der Canon-D...
Meteorit NB-7 startet nicht
Thomas Helbig, 13.09.2016 02:03, 3 Antworten
Verehrte Community Ich habe vor Kurzem einen Netbook-Oldie geschenkt bekommen. Beim Start ersch...
windows bootloader bei instalation gelöscht
markus Schneider, 12.09.2016 23:03, 1 Antworten
Hallo alle zusammen, ich habe neben meinem Windows 10 ein SL 7.2 Linux installiert und musste...
Ubuntu 16 LTE installiert, neustart friert ein
Matthias Nagel, 10.09.2016 01:16, 3 Antworten
hallo und guten Abend, hab mich heute mal darangewagt, Ubuntu 16 LTE parallel zu installieren....