DELETE

Purpose: Remove a file from the disk.

Format:    DELETE    filename

Notes:      Use this statement to erase the file specified in the  filename  parameter from the disk.  Wildcards are not allowed.

Example:

# Use this script to select and delete a file.

# First select our file.
getfile $dead

# Now erase it using the DELETE statement.
delete $dead
exit

See Also:  RENAME   COPY