Closed joschi closed 4 years ago
Thank you!
thanks a lot @joschi and @halcyon
@halcyon @aheritier Thinking a little bit more about the issue, there are still corner cases which would lead to the accidental deletion of a user-owned directory.
I'll address it in another PR.
Before deleting the temporary directory (
$TEMP_DIR
) at the end of the script, make sure that it exists so that we don't accidentally delete the user's home directory.Fixes #63