Function file-rename

file-rename sourcePath destPath

Changes the name of a file or directory.

Parameters:

sourcePath - String representing original name of the file.

destPath - String representing the new name of the file.

Returns:

True if the file was successfully renamed. False otherwise.

The destPath may refer to a diferent directory than sourcePath as long as it is in the same file system.