Top-Tools für die Desktop-Suche

Zwar bieten die Systemeinstellungen dem Anwender ein gewisses Maß an Einstellmöglichkeiten, will er aber beispielsweise die Indexierung abschalten, so muss er auf die Kommandozeile des darunterliegenden Unix wechseln.
(Foto: Frank-Michael Schlede / Thomas Bär)