Message354799
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. |
|
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 | |
|