diff options
author | Jeremy T. Bouse <jbouse@users.noreply.github.com> | 2022-05-22 20:51:37 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-22 20:51:37 +0300 |
commit | 48dcc4ba3729f185aeb53c44ec4afdaa03a83c19 (patch) | |
tree | a1914808b17b515204e0d21380af1ef27062cd75 | |
parent | 2cb5a8a59a06ced2f4f1553a9722ecb6f52b3dcb (diff) | |
parent | 0588c10c679d862f378b0395593c378110f25579 (diff) |
Merge pull request #115 from mkdutchman/patch-1
Replace "rmdir" with "rm -r" when cleaning directories
-rwxr-xr-x | apt-mirror | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1031,7 +1031,7 @@ else print CLEAN "echo 'Removing $total unnecessary directories...'\n"; foreach (@rm_dirs) { - print CLEAN "if test -d '$_'; then rmdir '$_'; fi\n"; + print CLEAN "if test -d '$_'; then rm -r '$_'; fi\n"; print CLEAN "echo -n '[" . int( 100 * $i / $total ) . "\%]'\n" unless $i % 50; print CLEAN "echo -n .\n"; $i++; |