Я часто хочу скопировать все имена файлов с полным путем и расширениями в папке в документ «.txt», но не могу. Есть простой способ сделать это? Как? Есть ли простой командный файл, который это сделает? Бесплатное программное обеспечение может работать, но я бы предпочел простой файл batch.bat или .exe, который работает.