dos_copy

(dos_copy  sourceFileSpec  destFileSpec)

This function copies one or more source files to a target file resp. to a target folder;
the source file specification may contain wildcard characters like "*" and "?".

sourceFileSpec : (string) specifies an existing file (no wildcards used), or declares a file mask when using wildcards

destFileSpec : (string) specifies the target file, if sourceFileSpec also specifies an existing file -OR- it specifies a folder to copy all source files to, if sourceFileSpec 

Examples :
(dos_copy "J:\\1.txt" "J:\\2.txt")
(dos_copy "J:\\1.txt" "J:\\Test\\2.txt")
(dos_copy "J:\\1.txt" "J:\\TestXXX\\")

(dos_copy "J:\\*.txt" "J:\\Test\\")

Note 1 : any existing target file will be overwritten !
Note 2 : missing target folder(s) will be automatically created
Note 3 : when specifying a target folder, the string must end with "\\" or "/" character to clearly declare it to be a folder !
Note 4 : both "\\" and "/" path separators are allowed on all platforms (Windows, Linux, Mac; they will be adjusted automatically)