diff options
author | mkdutchman <melvin@lancasterlanterns.com> | 2019-04-02 22:00:54 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-02 22:00:54 +0300 |
commit | 0588c10c679d862f378b0395593c378110f25579 (patch) | |
tree | 0749262bbd622b6425a251aa8c4162bd61c4af7f | |
parent | e664486a5d8947c2579e16dd793d762ea3de4202 (diff) |
Replace "rmdir" with "rm -r" when cleaning directories
rmdir errors out if directories are nonempty. rm -r is more dependable and gets rid of them regardless
-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++; |