6 lines
233 B
Text
6 lines
233 B
Text
use FileTools in
|
|
Rename( "input.txt", "output.txt" );
|
|
Rename( "docs", "mydocs" );
|
|
Rename( "/input.txt", "/output.txt" ); # assuming permissions in /
|
|
Rename( "/docs", "/mydocs" ) # assuming permissions in /
|
|
end use:
|