只是用 System.Directory.renameDirectory
? System.Directory.getDirectoryContents "temp2"
[".","..","x","y"]
? System.Directory.renameDirectory "temp2" "temp"
? System.Directory.getDirectoryContents "temp"
[".","..","x","y"]
Run Code Online (Sandbox Code Playgroud)