move_file { oldname newname | file1 [ file2 …] dir}

This command moves the file oldname to newname. This command can be used to rename a file or a document.

The second form of move_file, move_file file1 [file2] ...dir, moves one or more file names (which may also be directories) preserving their original names, into the last directory in the list.

move_file cannot be used to move a directory across file systems. The copy_file and remove_file commands must be used instead.

mv is a synonym for move_file.

Examples