copy_file { oldfilenewfile | file1 [ file2 …] dir}

This command creates the file newfile as a copy of the file oldfile. The destination can be a WebDAV resource provided the target HTTP resource supports WebDAV.

In the second form, copy_filefile1 [file2] ... dir, each file name is copied to the specified directory which must already exist. The base name of the destination file corresponds to the original file name. If a source file name is a directory, the directory is recursively copied.

cp is a synonym for copy_file.

Examples