Next: EXECUTE, Previous: ECHO, Up: Utilities [Contents][Index]
ERASE FILE file_name.
ERASE FILE deletes a file from the local file system. file_name must be quoted. This command cannot be used if the SAFER (see SET) setting is active.
ERASE FILE