Handbook
Glossary
make-file-empty ( file-name -- )
Vocabulary
wipe
Inputs
file-name
a filename string
Outputs
None
Word description
Create a new empty file named
file-name
, discarding any existing data under that name.
Definition
USING:
io.encodings.binary
io.files
;
IN:
wipe
:
make-file-empty
( file-name -- )
binary
[
]
with-file-writer
;