Allgemeines 21.956 Themen, 147.931 Beiträge

Was für eine Datei ist das?

jueki / 41 Antworten / Flachansicht Nickles

Eine Bekannte hat bei einer wilden Umbenenn-Aktion alle Dateinamen zur Schnecke gemacht und dabei gleichzeitig die Datei- Endungen entfernt.
Es handelt sich um Dateien aller Größen und quer durch den Gemüsegarten. Von *.avi bis *.xml.
Gibt es eigentlich eine Möglichkeit, ein Tool, welches automatisch die Dateien der Reihe nach prüft und die Endungen wieder zuordnet?
Mir ist da nichts bekannt. Aber Ihr wißt da vielleicht eine Möglichkeit?
Sonst muß die Lady eben der Reihe und der Größe nach probieren.

Jürgen

- Nichts ist schwerer und nichts erfordert mehr Charakter, als sich im offenem Gegensatz zu seiner Zeit zu befinden und laut zu sagen "NEIN!" Kurt Tucholsky
bei Antwort benachrichtigen
gelöscht_265507 jueki „So - ich habe es nun erporobt, hab Dateien zip, jpg, exe, wmv, pps der Endung...“
Optionen
eine Heidenarbeit, das bei einer Unzahl von Programmen machen zu müssen.

Nun ja, da das Programm im DOS-Modus läuft, könnte man es auch in eine Batchdatei einbinden.

Schleife laufen lassen über alle Dateien. (Nur Dateien anfassen, die keine Endungen haben)

Erste Datei einlesen. Das Programm aus der Batch heraus starten. Datei-Endung ermitteln, umbenennen.

Nächste Datei, bis fertig.
bei Antwort benachrichtigen
Lesen bildet eben doch! :- mi~we