Is it okay to delete dist/post/*?

[Lonami]

It feels wrong to delete everything the user has put there without warning with no way to recover it. This operation is quite destructive. I think it would be okay to overwrite the files if they are named the same as the ones we would generate (i.e. some of the .html), but I don't think it's okay to delete a potential user's thesis.pdf without warning.

Suggestions:

• Ignore the files. Don't do anything if the target directory already exists.
• Warn about the files. Call the users for manual action to move them elsewhere.
• Don't do anything. Prominently document this fact and move on.

[expectocode]

My preferred solution to this is either don't delete, or prompt for deletion (like delete folder dist? y/n), and have a flag for "no dry run" - see https://orbifold.xyz/no-dry-run.html

[Lonami]

I think not deleting is probably the easiest and best thing to do, no need to inform the user or anything either.

[expectocode]

it's also the least useful thing to do