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: Arbeitsflächenumschalter fürs Panel

Mit Einführung der Gnome-Shell verschwand die untere Kontrollleiste mit dem Startmenü, der Fensterliste und dem Arbeitsflächenumschalter. Dieser erlaubte es, per Mausklick auf einen anderen virtuellen Desktop zu wechseln. Außerdem zeigte der Umschalter den aktuellen Aufenthaltsort an. Eine kleine Erweiterung namens Workspace Indicator [1] rüstet das Feature für aktuelle Gnome-Versionen nach:

  1. Rufen Sie die URL der Extension über den Gnome-Browser Internet (Paket epiphany-browser) auf und ziehen Sie den Schieberegler nach rechts, so dass er auf ON steht.
  2. Bestätigen Sie, dass Sie die Erweiterung installieren möchten. Nach kurzer Zeit erscheint im oberen Panel ein kleines Quadrat, das die Nummer des aktuellen Desktops anzeigt.

  3. Ein Klick auf das Symbol klappt eine Liste mit den vorhandenen virtuellen Arbeitsflächen aus, und Sie können mit der Maus eine auswählen, um dorthin zu wechseln.

Sie können den virtuellen Desktops auch Namen geben, z. B. Mail, Browser usw. Sie richten die Erweiterung entweder über die Projektseite [1] und Klick auf das Schraubenschlüsselsymbol oder über das Gnome Tweak Tool (Paket gnome-tweak-tool) ein. Dort wählen Sie aus der linken Seitenleiste Erweiterungen, blättern rechts bis zum Eintrag Workspace indicator und klicken dort auf das Zahnrad-Icon. Im sich öffnenden Dialog fügen Sie über das Pluszeichen die gewünschten Bezeichner hinzu (Abbildung 1).

Abbildung 1: Sie können den virtuellen Arbeitsflächen Namen geben, die mehr über die dort laufenden Programme verraten.

Tipp: Zeilennummern für GEdit einschalten

Gerade in langen Textdateien oder Skripten ist es hilfreich, im Texteditor GEdit die Zeilennummern einzublenden. Nach dem Start des Programms klicken Sie oben im Panel auf das globale Menü und wählen dort den Eintrag Einstellungen. Direkt auf dem ersten Reiter (Ansicht) finden Sie ganz oben die Checkbox Zeilennummern anzeigen. Setzen Sie dort ein Häkchen; die Änderungen sind sofort aktiv.

Diesen Artikel als PDF kaufen

Express-Kauf als PDF

Umfang: 3 Heftseiten

Preis € 0,99
(inkl. 19% MwSt.)

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 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.
  • 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.
  • 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.
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

Samsung VG-KBD1500 - Bluetooth-Tastatur mit Touchpad mit Xubuntu 16.04.2 LTS
Linux- & BSD-UserGroup im Weserbergland, 16.08.2017 19:16, 0 Antworten
Bin grad mit "meinem Latein am Ende" darum hier mal so in den Raum geworfen. Samsung VG-KBD1500 -...
Tails verbindet nicht mit WLan
Georg Vogel, 30.07.2017 15:06, 5 Antworten
Hallo zusammen! Habe mir von Linux Mint aus einen Tails USB-Stick erstellt. Läuft soweit gut,...
Genivi for Raspberry Pi 3
Sebastian Ortmanns, 28.07.2017 10:37, 1 Antworten
I try to build a Genivi Development Platform for Rasberry Pi 3. But I always get the failures bel...
Bash awk Verständnis-Frage
Josef Federl, 22.07.2017 17:46, 2 Antworten
#!/bin/bash # Skriptdateiname = test.sh spaltennummer=10 wert=zehner awk '{ $'$spaltennummer'...
Bash - verschachtelte Variablenersetzung, das geht doch eleganter als meine Lösung?
Josef Federl, 18.07.2017 20:24, 3 Antworten
#!/bin/bash #Ziel des Skriptes wird sein die ID zu extrahieren hier nur als Consolentest: root@...