NAME copy_file - copy a file to another path SYNOPSIS int copy_file(string from, string to) DESCRIPTION Copy a file. 1 is returned if the file could be copied, 0 otherwise. This_object() needs read/write access to the specified files. SEE ALSO kfun/remove_file, kfun/rename_file