Mehrere verschiedene Dateiarten auswählen

Die Funktion »Datei | Dateien auswählen« ist ein praktisches Mittel, um alle Dateien der gleichen Dateiart zu markieren. Sie können für diese Funktion natürlich Wildcards verwenden, also zum Beispiel »*.TXT«, um alle Textdateien mit der Dateierweiterung »TXT« zu markieren. Egal ob man alle Textdateien eines Verzeichnisses markieren möchte, um sie gemeinsam zu sichern, oder aber alle TMP-Dateien markiert, um sie gemeinsam zu löschen mit dieser Funktion geht es am schnellsten.
Allerdings haben nicht immer alle gleichartigen Dateien auch die gleichlautende Dateiendung. Zum Auswählen aller Texte müssen Sie also nicht nur Dateien mit der Endung »TXT« markieren, sondern je nach Textverarbeitung auch diejenigen mit den Endungen »WRI«, »DOC« oder anderen.
Sie können auch mehrere Dateiendungen gleichzeitig markieren. Geben Sie nach »Datei | Dateien auswählen« im Feld »Datei(en):« die Zeichenfolge »*.txt *.doc *.wri« ein, markiert der Dateimanager alle Dateien dieser Formate im aktuellen Verzeichnis. Achten Sie darauf, daß sich zwischen den einzelnen Dateiarten jeweils ein Leerzeichen befindet.
Manuel Diekmeyer