33.16. $delete

$delete deletes the file named fileName.

If the file cannot be deleted, $delete writes an error message to logFile and requests a new file name from cmdFile. If a blank line is read from cmdFile, $delete returns FALSE. Otherwise, it again tries to delete the named file. If the bit errorOK is set in ctrlBits and the file cannot be deleted, $delete returns FALSE without writing an error message or reading a new file name. If a file is successfully deleted, $delete returns TRUE. If $useOriginalFileName is set in ctrlBits, no logical name lookup or application of searchpaths is done; the file name specified is used.

The effect of $delete is undefined if the specified file is open (by MAINSAIL or by some other program).