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