Tipp: Gnome Do: Erweiterung "Files and Folders" anpassen

In der Voreinstellung erfasst Gnome Do mit dem im vorigen Tipp erwähnten Plug-in Dateien und Verzeichnisse im eigenen Home-Verzeichnis. Dabei durchforstet der Starter jeweils eine Ebene von Unterverzeichnissen. Befindet sich also z. B. im Ordner Dokumente ein weiteres Verzeichnis namens Uni und liegt darin eine Datei namens plan_sommer09.txt, findet Gnome Do diese nicht. Um auch Unterverzeichnisse mit in die Suchen einzubeziehen, passen Sie das Plug-in an:

  1. Öffnen Sie die Gnome-Do-Einstellungen und gehen Sie zum Reiter Erweiterungen.
  2. Markieren Sie den Eintrag Files and Folders und klicken Sie auf die Schaltfläche Einrichten. Auf dem Reiter Indexed Folders sehen Sie die Ordner, die der Starter durchforstet. Die Zahl hinter den Einträgen beeinflusst die Anzahl der Unterverzeichnisse, in die Gnome Do schaut.
  3. Setzen Sie die Zahl für Ihr Home-Verzeichnis nach oben. Dazu klicken Sie die 1 an, geben einen neuen Wert (z. B. 6) an und drücken [Eingabe]. Danach können Sie den Einrichtungsdialog schließen.

Über die Schaltflächen mit dem Plus- und Minuszeichen nehmen Sie neue Ordner in die Liste auf bzw. entfernen nicht benötigte Einträge. Darüber hinaus bietet der zweite Reiter des Dialogs (Ignored Folders) die Möglichkeit, Ordner auf die Blacklist zu setzen. Was hier steht, durchsucht Gnome Do nicht.

Infos

[1] Gnome-Commander: http://www.nongnu.org/gcmd/

[2] Artikel zum Midnight Commander: Andreas Kneib, "Midnight Commander – Der programmierbare Dateimanager", LinuxUser 07/2002, S. 58 ff., http://www.linux-user.de/ausgabe/2002/07/058-mc/mc.html

[3] Artikel zu Logdateien: Thomas Leichtenstern, "Such und find", EasyLinux 06/2006, S. 60 ff., http://www.easylinux.de/2006/06/060-logs/

[4] Gnome-Tipps (u. a. zu Gnome Do): Heike Jurzik, "Gnome-Tipps", EasyLinux 02/2010, S. 90 ff., http://www.easylinux.de/2010/02/090-gnome-tipps/

LinuxCommunity kaufen

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

Deutschland

Ähnliche Artikel

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

Infos zur Publikation

title_2017_01

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

Samba-Server für Win-Daten & Linux-Dateirechte
Gerd Grundmann, 12.01.2017 18:25, 0 Antworten
Hallo Gemeinde, ich habe ewig gegooo.. aber nicht wirklich gefunden, was ich suche. Auf mei...
LM Cinnamon 18.1Serena 64 bit
Herwig Ameisbichler, 11.01.2017 13:02, 6 Antworten
Hallo an alle. Bin Linux Neuling.Habe auf meiner SSD neben W10 (finde ich nicht mehr)LM17.2 auch...
Bilder in E-Mail einbinden?
Werner Hahn, 23.12.2016 12:18, 4 Antworten
Dell Latitude E6510, Ubuntu 16.04, Mozilla Firefox Ich bitte um eine leicht verständliche Anle...
Linux Mint 17.2
Herwig Ameisbichler, 17.12.2016 11:19, 4 Antworten
Wer kann mir helfen? Hab seit gestern Linux am Pc.Wie kann ich diese Miniaturschrift im Menü,Lei...
Linux 17.2 Treiber f. PC Drucker installieren
Ernst Malitzki, 11.12.2016 13:04, 7 Antworten
Habe einen PC Drucker von HP. Möchte diesen PC Drucker an meinen PC anschließen. Hierzu benötige...