Handbook
Glossary
copy-to-file ( args -- )
Vocabulary
tools
.
copy
Inputs
args
an
object
Outputs
None
Definition
USING:
combinators.short-circuit
io.directories
io.files
io.files.info
kernel
sequences
;
IN:
tools.copy
:
copy-to-file
( args -- )
dup
last
{
[
file-exists?
]
[
file-info
directory?
]
}
1&&
[
copy-to-dir
]
[
first2
copy-file
]
if
;