O método file.delete( ) elimina o arquivo.
Se o arquivo estiver atualmente aberto, se gera um erro.
Se o arquivo não existir no disco, o método não faz nada (não é gerado um erro).
ADVERTENCIA: file.delete( ) pode eliminar qualquer arquivo em um disco. Isso inclui documentos criados com outras aplicações, assim como as próprias aplicações. file.delete( ) deve ser utilizado com extrema precaução. Eliminar um arquivo é uma operação permanente e não pode ser desfeita.
Se quiser eliminar um arquivo específico na pasta do banco de dados:
$tempo:=File("/PACKAGE/SpecialPrefs/"+Current user+".prefs")
If($tempo.exists)
$tempo.delete()
ALERT("User preference file deleted.")
End if