deleting a directory that is not empty is impossible with the method delete:
FILE.delete("dir_not_empty"); // fails
FILE.delete("dir_empty"); // succeeds
this is of huge annoyance since you might want to refresh the content of the whole directory
ADMIN RESPONSE
Jul 14, 2023
Thank you for your great idea. While we cannot commit to a specific target version, we will consider adding it to our future internal backlog. If you can add further information about the context of this feature, please add it here so we can evaluate it more fully.
Hi Pierre,
Thanks for the idea. Could you tell us for which File locations are you expecting this?