/*
**
** $VER: DeleteFile.bed 1.0 (17.04.96)
**
** DeleteFile.bed - By Gerbert Nuijen
**
** Simple script to delete a file, I really missed this option :)
**
*/

OPTIONS RESULTS

GetFilePath PATH
fpath = RESULT

'RequestFile TITLE="Delete File..." OKGADGET=Delete PATH=' || fpath
ADDRESS COMMAND 'Delete ' || RESULT || ' QUIET'