This built-in predicate deletes (unlinks) a file. If the argument specifies an existing file that was successfully deleted then the predicate is exited else it fails. Use wipe_file/1 if the contents of the deleted file may not be recovered.
see also: app_dir/1 base64_decode_file/2 base64_encode_file/2 compress_file/2 copy_file/2 current_dir/1 decompress_file/1 decompress_file/2 decrypt_file/3 encrypt_file/3 exists_dir/1 exists_file/1 info_file/2 make_dir/1 md5_file/2 next_file/2 next_file/3 next_dir/2 remove_dir/1 rename_file/2 set_current_dir/1 split_fn/2 unlink_file/1 wipe_file/1
| Examples | |
| delete_file('c:\\documents\\mydoc.txt'). | If the specified file exists and unlinking the file was successful then the predicate is exited, else it fails. |
| Exceptions | |
| The argument is an empty variable | an instantiation_error exception is thrown |
| The argument Arg is not an atom enclosed by single or double quotes | a type_error(atom_singlequotes, Arg) exception is thrown |