Next: EXECUTE, Previous: ECHO, Up: Utilities
ERASE FILE file_name.
ERASE FILE deletes a file from the local filesystem. file_name must be quoted. This command cannot be used if the SAFER setting is active.