移动目录及其所有内容的最有效方法是什么? 是否有一种更有效的方法,然后只是循环目录中的每个文件并调用System.Directory.renameFile? 只需使用System.Directory.renameDirectory λ System.Director
是否有一种更有效的方法,然后只是循环目录中的每个文件并调用System.Directory.renameFile?
只需使用System.Directory.renameDirectoryλ System.Directory.getDirectoryContents "temp2" [".","..","x","y"] λ System.Directory.renameDirectory "temp2" "temp" λ System.Directory.getDirectoryContents "temp" [".","..","x","y"]