diff options
| author | Alexandru Ardelean <ardeleanalex@gmail.com> | 2019-02-05 12:04:43 +0200 |
|---|---|---|
| committer | Alexandru Ardelean <ardeleanalex@gmail.com> | 2019-02-12 12:31:54 +0200 |
| commit | 1bf7679211425bb0f63f22ce00c700c7d84eb2d4 (patch) | |
| tree | a737ac0d6efc2c69152e9f5973fff9d8ab0fd458 /lang/python/python3/patches | |
| parent | 14d0a9c58dc12c089c3d2209ebb1d9b37b68abad (diff) | |
python,python3: make deletion tolerant for paths with spaces
Piping to xargs does not handle spaces in paths too well, because it splits
up the paths.
For deleting empty dirs, we also need to do several retries, otherwise
`find` will try to go through the directories after they're deleted.
Signed-off-by: Alexandru Ardelean <ardeleanalex@gmail.com>
Diffstat (limited to 'lang/python/python3/patches')
0 files changed, 0 insertions, 0 deletions