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

IN: io.directories

: copy-file-into ( from to -- ) to-directory copy-file ;