07-31-2019
19,118,
3,359
Join Date: Sep 2000
Last Activity: 15 July 2022, 8:51 AM EDT
Location: Asia Pacific, Cyberspace, in the Dark Dystopia
Posts: 19,118
Thanks Given: 2,351
Thanked 3,359 Times in 1,878 Posts
As a side (not directly related to this discussion):
I recommend that when you have any filename with some "tricky" special chars which makes the file hard to delete that you first move the file to a new file name (without the "strangeness" which makes the file undeletable) and then delete the file.