Message354799
| Author | valorien |
|---|---|
| Recipients | valorien |
| Date | 2019-10-16.13:55:56 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <1571234157.02.0.903860423187.issue38499@roundup.psfhosted.org> |
| In-reply-to |
| Content | |
|---|---|
pathlib.Path supports deletion of both files (Path.unlink()) and directories (Path.rmdir()). Unfortunately, Path.rmdir() does not allow deletion of non-empty directories which means users must use shutil.rmtree() when deleting such paths. Since pathlib.Path already supports file and (empty) directory deletion, adding Path.rmtree(missing_ok=False) would support both the utility and the completeness of pathlib. |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-10-16 13:55:57 | valorien | set | recipients: + valorien |
| 2019-10-16 13:55:57 | valorien | set | messageid: <1571234157.02.0.903860423187.issue38499@roundup.psfhosted.org> |
| 2019-10-16 13:55:56 | valorien | link | issue38499 messages |
| 2019-10-16 13:55:56 | valorien | create | |