Dateinamen und Verzeichnis als Textdatei exportieren

Manchmal sind Dinge viel einfacher als man denkt...

Auf der Suche nach einem Programm (für Windows) mit dem man den Inhalt eines Verzeichnisses in eine Textdatei kopieren kann, habe ich - oh Wunder - herausgefunden, dass man das mit dem dem guten alten DIR-Befehl schon bewerkstelligen kann.

dir /s -> verzeichnis.txt  

Die kleinen Freuden des IT-Alltags :-)