6.2.15 The del command: delete remote files
To delete a file on the server, type del and then the filename or filenames:
del oldfile.dat
del file1.txt file2.txt
del *.o
Files will be deleted without further prompting, even if multiple files are specified.
del will only delete files. You cannot use it to delete directories; use rmdir for that.
The rm command works exactly the same way as del.