copy-file-into ( from to -- ) (original) (raw)
copy-file-into ( from to -- )
Factor handbook » Input and output » Directory manipulation » Deleting, moving, and copying files
| Prev: | copy-file ( from to -- ) |
|---|---|
| Next: | copy-files-into ( files to -- ) |
Vocabulary
io.directories
Inputs
| from | a pathname string |
|---|---|
| to | a directory pathname string |
Outputs
None
Word description
Copies a file to another directory.
Errors
Throws an error if the file does not exist or if the copy operation fails.
Definition
: copy-file-into ( from to -- ) to-directory copy-file ;