如何把一个文件夹内的文件名导出到一个txt文件

今天遇到这个问题，百度搜索，得到以下解决方案，非常不错，呵呵……

1、在该文件夹内新建一个.txt文件，如name.txt；
2、在name.txt文件内写上：dir *.mp3>mp3.txt；（mp3.txt为输出文件，输出位置为当前文件夹，否则加上路径）
3、将name.txt改扩展名为.bat，即name.bat；
4、点击运行name.bat文件，得到mp3.txt文件，打开看看吧，呵呵……
5、以后想对其它类似情况进行操作，将name.bat拷到相应的文件夹即可！