La méthode fichier.delete( ) supprime le fichier.
Si le fichier est ouvert, une erreur est générée.
Si le fichier n'existe pas sur disque, la méthode ne fait rien (aucune erreur n'est générée).
ATTENTION : fichier.delete( ) peut supprimer n'importe quel fichier sur un disque, y compris les documents créés avec d'autres applications ainsi que les applications elles-mêmes. fichier.delete( ) doit être utilisé avec beaucoup de précaution. La suppression d'un fichier est une opération permanente et irréversible.
Vous souhaitez supprimer un fichier spécifique dans un dossier de base de données :
$tempo:=Fichier("/PACKAGE/SpecialPrefs/"+Utilisateur courant+".prefs")
Si($tempo.exists)
$tempo.delete()
ALERTE("Fichier des préférences de l'utilisateur supprimé.")
Fin de si