El método file.delete( ) elimina el archivo.
Si el archivo está actualmente abierto, se genera un error.
Si el archivo no existe en el disco, el método no hace nada (no se genera ningún error).
ADVERTENCIA: file.delete( ) puede eliminar cualquier archivo en un disco. Esto incluye documentos creados con otras aplicaciones, así como las propias aplicaciones. file.delete( ) debe utilizarse con extrema precaución. Eliminar un archivo es una operación permanente y no se puede deshacer.
Desea eliminar un archivo específico en la carpeta de la base de datos:
$tempo:=File("/PACKAGE/SpecialPrefs/"+Current user+".prefs")
If($tempo.exists)
$tempo.delete()
ALERT("User preference file deleted.")
End if