Handbook
Glossary
delete-file ( path -- )
Factor handbook
»
Input and output
»
Directory manipulation
»
Deleting, moving, and copying files
Next:
delete-directory ( path -- )
Vocabulary
io
.
directories
Inputs
path
a pathname string
Outputs
None
Word description
Deletes a file.
Errors
Throws an error if the file could not be deleted.
Definition
USING:
io.backend
;
IN:
io.directories
HOOK:
delete-file
io-backend
( path -- )
Methods
USING:
io.backend
io.directories
system
unix
;
M:
unix
delete-file
normalize-path
unlink-file
;